removed older tomcat doc