Henry, Kumar, Can you please review this patch: http://cr.openjdk.java.net/~mchung/jdk9/webrevs/8173712/webrev.00/
JAVA_OPTIONS was introduced by JDK-8170832 but it turns out that environment variable name conflicts with existing uses. It might not be uncommon for scripts to set JAVA_OPTIONS. To mitigate the compatibility concern, we decide to rename JAVA_OPTIONS to JDK_JAVA_OPTIONS. With multi-word name and `JDK_` prefix, that should reduce the chance of name clash. thanks Mandy
