* added redeployPortal option
* changed "$maven_options" to $maven_options
* redefined TOMCAT_DIR
* created TOMCAT_WEBAPP_DIR