hg: jdk9/dev/jdk: 8173712: Rename JAVA_OPTIONS environment variable to JDK_JAVA_OPTIONS

[mandy.chung at oracle.com]

Changeset: e50de2389390
Author:    mchung
Date:      2017-02-07 16:41 -0800
URL:       http://hg.openjdk.java.net/jdk9/dev/jdk/rev/e50de2389390

8173712: Rename JAVA_OPTIONS environment variable to JDK_JAVA_OPTIONS
Reviewed-by: henryjen, psandoz

! src/java.base/share/native/launcher/main.c
! src/java.base/share/native/libjli/args.c
! src/java.base/share/native/libjli/java.h
! src/java.base/windows/native/libjli/cmdtoargs.c
! test/ProblemList.txt
! test/tools/launcher/ArgsEnvVar.java
! test/tools/launcher/I18NArgTest.java