int hashcode = type.hashCode() + priority; Iterator<BugAnnotation> i = annotationIterator(); while (i.hasNext()) hashcode += i.next().hashCode(); return hashcode;
if (cachedHashCode == 0) { int hashcode = type.hashCode() + priority; Iterator<BugAnnotation> i = annotationIterator(); while (i.hasNext()) hashcode += i.next().hashCode();  cachedHashCode = hashcode; }  return cachedHashCode;
	public int hashCode() {		int hashcode = type.hashCode() + priority;		Iterator<BugAnnotation> i = annotationIterator();		while (i.hasNext())			hashcode += i.next().hashCode();		return hashcode;	}