RFR: 8022854 : (s) Cleaner re-initialization of System properties

[Paul Sandoz]

Hi Mike,

Your patch is slightly out of sync with 9:

  http://hg.openjdk.java.net/jdk9/dev/jdk/rev/c8c4f441fc76

  http://hg.openjdk.java.net/jdk9/dev/jdk/file/tip/src/share/classes/sun/misc/VM.java

--

Generally looks OK.

Bikeshed-wise i prefer something like getPublicSavedProperties rather than getSanitizedSavedProperties.

Paul.

On Jan 27, 2014, at 9:17 PM, Mike Duigou <mike.duigou at oracle.com> wrote:

> Hello all;
> 
> This is a bit of cleanup I did back during Java 8 that got deferred due to it's late arrival during the development cycle. I've updated it for Java 9.
> 
> http://cr.openjdk.java.net/~mduigou/JDK-8022854/0/webrev/
> 
> This change improves the implementation of System.setProperties(null) which restores the system properties to their boot time defaults. The existing semantics are preserved.
> 
> Mike