ReportPlugin.getDefault( ) .getPreferenceStore( ) .setValue( ExportToLibraryAction.PREF_KEY, exportPref );
	public boolean performOk( )	{		ReportPlugin.getDefault( )				.setLibraryPreference( LibraryList.getItems( ) );		return super.performOk( );	}