Adding Tomcat's servlet library