Small utility script for Apache Tomcat