jenkins tomcat script