fix tomcat configuration