Bash scripts to start/stop Tomcat server.