result.put(fixParent(cloneToplevel(key, null), parent), fixParent(cloneToplevel(value, null), parent));
result.put(cloneToplevel(key, parent), cloneToplevel(value, parent));
    static private Object cloneHashtable(Hashtable orig, Object parent) {	Hashtable result = new Hashtable();	register(orig, result);	Enumeration e = orig.keys();	while (e.hasMoreElements()) {	    Object key = e.nextElement();	    Object value = orig.get(key);	    result.put(fixParent(cloneToplevel(key, null), parent),		       fixParent(cloneToplevel(value, null), parent));	}	return result;    }