tomcat script