Fix tomcat configs