ArrayList list = new ArrayList( properties.values( ) );    ElementDefn obj = parent; while ( obj != null ) { list.addAll( obj.properties.values( ) ); obj = obj.parent; }  return list;
return new ArrayList( cachedProperties.values( ) );
	public List getProperties( )	{		ArrayList list = new ArrayList( properties.values( ) );		// Add parent properties.		ElementDefn obj = parent;		while ( obj != null )		{			list.addAll( obj.properties.values( ) );			obj = obj.parent;		}		return list;	}