FindbugsPlugin.saveUserPreferences(project, updatedUserPreferences);
FindbugsPlugin.saveUserPreferences(project, currentUserPreferences);
	public boolean performOk() {		boolean selection = this.chkEnableFindBugs.getSelection();		boolean result = true;				// Keep of track of whether we need to update		// which warning markers are shown.		boolean filterOptionsChanged = false;		// Get updated user preferences for the project		UserPreferences updatedUserPreferences = getUpdatedUserPreferences();		// Have user preferences for project changed?		// If so, write them to the user preferences file.		if (!updatedUserPreferences.equals(origUserPreferences)) {			//System.out.println("User preferences for project changed!");			try {				FindbugsPlugin.saveUserPreferences(project, updatedUserPreferences);			} catch (CoreException e) {				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");			}						// Have filter settings changed?			// If so, we need to redisplay warnings.			if (!updatedUserPreferences.getFilterSettings().equals(					origUserPreferences.getFilterSettings())) {				//System.out.println("Filter setting for project changed!");				filterOptionsChanged = true;			}		}				// 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) {			//System.out.println("Redisplaying markers!");			MarkerUtil.redisplayMarkers(project, getShell());		}				return result;	}