made JAVA_OPTS only set if not already set