simple script to facilitate deployment on tomcat