return minPriority.hashCode() + 1009 * activeBugCategorySet.hashCode();
return minPriority.hashCode() + 1009 * activeBugCategorySet.hashCode() + (displayFalseWarnings ? 7919 : 0);
	public int hashCode() {		return minPriority.hashCode() + 1009 * activeBugCategorySet.hashCode();	}