Bash scripts for managing multiple Tomcat instances on Linux/