if ( propDefn.getTypeCode( ) == PropertyType.SCRIPT_TYPE )
if ( propDefn.getTypeCode( ) == IPropertyType.SCRIPT_TYPE )
	public DocElement( ElementDefn d )	{		super( d );		ElementDefn elementDefn = d;		Iterator iter = elementDefn.getLocalProperties( ).iterator( );		while ( iter.hasNext( ) )		{			ElementPropertyDefn propDefn = (ElementPropertyDefn) iter.next( );						// Workaround because getLocalProperties( ) returns all properties.						if ( propDefn.definedBy( ) == elementDefn )			{				if ( propDefn.getTypeCode( ) == PropertyType.SCRIPT_TYPE )					methods.add( new DocMethod( propDefn ) );				else					properties.add( new DocProperty( propDefn ) );			}		}		Collections.sort( properties, new DocComparator( ) );		Collections.sort( methods, new DocComparator( ) );				for ( int i = 0;  i < elementDefn.getSlotCount( );  i++ )		{			slots.add( new DocSlot( elementDefn.getSlot( i ) ) );		}				// Leave slots unsorted: they make more sense in the order defined		// in rom.def. (header, detail, footer for example)	}