minor modification on deploy to tomcat