fix tomcat.md