// does nothing
public OrderedProperties(OrderedProperties props) {
Enumeration k = props.keys();
String key;
// suck in all the properties
while (k.hasMoreElements()) {
key = (String) k.nextElement();
put(key, props.getProperty(key));
}
}
