// That's fine - we have reasonable defaults.
properties=new Properties();
}
// Register the properties as system properties
Enumeration enumeration = properties.propertyNames();
while (enumeration.hasMoreElements()) {
String name = (String) enumeration.nextElement();
String value = properties.getProperty(name);
if (value != null && (System.getProperty(name) == null)) {
System.setProperty(name, value);