Tomcat doc update