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