tomcat's WAR deployment is ok