fix tomcat deployment problem