shell script to run tomcat