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);
}
}
}