if ( formatPage == null || !formatPage.isFormatStrModified( ) )
if ( formatPage == null || !formatPage.isFormatModified( ) || !formatPage.isDirty( ) )
	protected boolean doStore( )	{		if ( formatPage == null || !formatPage.isFormatStrModified( ) )		{			return true;		}		try		{			( (StylePreferenceStore) getPreferenceStore( ) ).getNumberFormat( )					.setCategory( formatPage.getCategory( ) );			( (StylePreferenceStore) getPreferenceStore( ) ).getNumberFormat( )					.setPattern( formatPage.getPatternStr( ) );			return true;		}		catch ( SemanticException e )		{			e.printStackTrace( );			return false;		}	}