if ( ReportPlugin.LIBRARY_PREFERENCE.equals( event.getKey( ) ) )
if ( ReportPlugin.RESOURCE_PREFERENCE.equals( event.getKey( ) ) )
	public void preferenceChange( PreferenceChangeEvent event )	{		if ( ReportPlugin.LIBRARY_PREFERENCE.equals( event.getKey( ) ) )			Display.getDefault( ).asyncExec( new Runnable( ) {				public void run( )				{					refreshRoot( );				}			} );	}