updated tomcat setup script to set JAVA_HOME