These property dumps are collected in order to facilitate development of platform-
To dump the properties from your own platform, compile and run this program:
import java.util.Enumeration; import java.util.Properties; class DumpProperties { public static void main (String[] args) { Properties p = System.getProperties (); Enumeration keys = p . keys (); while (keys . hasMoreElements ()) { String key = (String) keys . nextElement (); String value = (String) p . get (key); System.out . println (key + "=" + value); } } }