jdk/src/share/classes/sun/misc/VM.java
changeset 8174 89e3a22d4cd7
parent 7668 d4a77089c587
child 9035 1255eb81cc2f
--- a/jdk/src/share/classes/sun/misc/VM.java	Thu Feb 03 13:49:25 2011 -0800
+++ b/jdk/src/share/classes/sun/misc/VM.java	Thu Feb 03 15:41:23 2011 -0800
@@ -235,6 +235,9 @@
         return savedProps.getProperty(key);
     }
 
+    // TODO: the Property Management needs to be refactored and
+    // the appropriate prop keys need to be accessible to the
+    // calling classes to avoid duplication of keys.
     private static final Properties savedProps = new Properties();
 
     // Save a private copy of the system properties and remove
@@ -283,6 +286,9 @@
 
         // used by java.util.zip.ZipFile
         props.remove("sun.zip.disableMemoryMapping");
+
+        // used by sun.launcher.LauncherHelper
+        props.remove("sun.java.launcher.diag");
     }
 
     // Initialize any miscellenous operating system settings that need to be