document tomcat configuration