Tomcat JAVA_OPTS