tomcat shell scripts from Dennis