Style.NUMBER_FORMAT_PROP,
StyleHandle.NUMBER_FORMAT_PROP,
	private void fireFormatChanged( String newCategory, String newPattern )	{		if ( listeners.isEmpty( ) )		{			return;		}		FormatChangeEvent event = new FormatChangeEvent( this,				Style.NUMBER_FORMAT_PROP,				newCategory,				newPattern );		for ( Iterator iter = listeners.iterator( ); iter.hasNext( ); )		{			Object listener = iter.next( );			if ( listener instanceof IFormatChangeListener )			{				( (IFormatChangeListener) listener ).formatChange( event );			}		}	}