Deploying WAR files to Tomcat with Jenkins