remove tomcat servlet api