JAVA_OPTS now used in external launches