remove old tomcat-servlet-api