Fix tomcat deploy setting