Update tomcat.rst