Added JAVA_OPTS support to tomcat.init.sh