fix tomcat config