62,63d61
< import java.util.Enumeration;
< import java.util.Hashtable;
400,404c398,399
<         Hashtable p = System.getProperties();
<         for (Enumeration enum = p.keys(); enum.hasMoreElements(); ) {
<             Object key = enum.nextElement();
<             props.put(key, p.get(key));
<         }
---
>         props.putAll( System.getProperties() );
>