Bash script for automatic deployment of Web applications running under Tomcat server(s).