if ( elementStack.size( ) > 0 )
if ( !elementStack.isEmpty( ) )
	public void endElement( )	{		String tagName = ""; //$NON-NLS-1$		// Get the tag name from the top of stack		if ( elementStack.size( ) > 0 )			tagName = (String) elementStack.get( elementStack.size( ) - 1 );		// No indent for the ending tag following the starting tag		if ( !tagName.equalsIgnoreCase( currentTagName ) )		{			literal( getIndent( elementStack.size( ) - 1 ) );		}		super.endElement( );	}