filteredBugCount++;
	protected void doReportBug(BugInstance bug) {		getBugCollection().add(bug);		if (MarkerUtil.displayWarning(bug, userPrefs.getFilterSettings())) {			MarkerUtil.createMarker(bug, project);		}	}