try { FindbugsPlugin.markBugCollectionDirty(marker.getResource().getProject(), true); } catch (CoreException e) { FindbugsPlugin.getDefault().logException(e, "Could not mark bug collection dirty"); }
	private void classifyWarning(BugInstance warning, boolean isBug) {		System.out.println("Classifying warning " + warning.getUniqueId());				BugProperty isBugProp = warning.lookupProperty(BugProperty.IS_BUG);		if (isBugProp != null) {			// Warning was previously classified			if (isBugProp.getValueAsBoolean() == isBug) {				// No change				return;			}		}				// Warning is being classified for the first time,		// or the classification is being changed		warning.setProperty(BugProperty.IS_BUG, isBug ? "true" : "false");		// Currently, we are displaying a marker for this warning.		// If the user has classified it as a false warning,		// and false warnings are not being displayed, then we can		// remove the marker.		if (!isBug) {			IProject project = marker.getResource().getProject();			try {				UserPreferences userPrefs = FindbugsPlugin.getUserPreferences(project);				if (!MarkerUtil.displayWarning(warning, userPrefs.getFilterSettings())) {					System.out.println("Deleting marker for false warning!");					marker.delete();				}			} catch (CoreException e) {				FindbugsPlugin.getDefault().logException(						e, "Could not get FindBugs preferences for project");			}		}	}