77d76
< import java.util.Hashtable;
475d473
<         Hashtable p = project.getProperties(); 
477,480c475
<         for (Enumeration enum = p.keys(); enum.hasMoreElements(); ) {
<             Object key = enum.nextElement();
<             props.put(key, p.get(key));
<         }
---
>         props.putAll( project.getProperties() );