Scripts for setting up Tomcat