FindbugsPlugin.getDefault().logException(e, "Could not store filter settings for project");
FindbugsPlugin.getDefault().logException(e, "Could not store FindBugs preferences for project"); } catch (IOException e) { FindbugsPlugin.getDefault().logException(e, "Could not store FindBugs preferences for project"); }    if (!updatedUserPreferences.getFilterSettings().equals( origUserPreferences.getFilterSettings())) { System.out.println("Filter setting for project changed!"); filterOptionsChanged = true;
	public boolean performOk() {		boolean selection = this.chkEnableFindBugs.getSelection();		boolean result = true;		storeDetectorFactories(project, getSelectedDetectorFactories());				// Keep of track of whether we need to update		// which warning markers are shown.		boolean filterOptionsChanged = false;				ProjectFilterSettings updatedFilterSettings = getUpdatedProjectFilterSettings();		if (!updatedFilterSettings.equals(origFilterSettings)) {			filterOptionsChanged = true;			try {				FindbugsPlugin.storeProjectFilterSettings(project, updatedFilterSettings);			} catch (CoreException e) {				FindbugsPlugin.getDefault().logException(e, "Could not store filter settings for project");			}		}				// Update whether or not FindBugs is run automatically.		if (!this.initialEnabled && selection == true) {			result = addNature();		}		else if (this.initialEnabled && selection == false) {			result = removeNature();		}				if (result && filterOptionsChanged) {			MarkerUtil.redisplayMarkers(project, getShell());		}						return result;	}