Review Request: JDK-8173712: Rename JAVA_OPTIONS environment variable to JDK_JAVA_OPTIONS

[Henry Jen]

+1.

Cheers,
Henry

> On Feb 7, 2017, at 1:16 PM, Mandy Chung <mandy.chung at oracle.com> wrote:
> 
> 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