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.dui...@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
