Some additions to tomcat script