Iterator it = names.keySet( ).iterator( ); while ( it.hasNext( ) ) { Object key = it.next( ); ns.names.put( key, names.get( key ) ); }
	public Object clone( ) throws CloneNotSupportedException	{		NameSpace ns = (NameSpace) super.clone( );		ns.names = new HashMap( );		Iterator it = names.keySet( ).iterator( );		while ( it.hasNext( ) )		{			Object key = it.next( );			ns.names.put( key, names.get( key ) );		}		return ns;	}