Fix tomcat config.