tomcat_env JAVA_OPTS fix