fix deployment problem on tomcat