Update tomcat.txt