return type.equals(other.type) && priority == other.priority && annotationList.equals(other.annotationList);
if (!type.equals(other.type) || priority != other.priority) return false; if (annotationList.size() != other.annotationList.size()) return false; int numAnnotations = annotationList.size(); for (int i = 0; i < numAnnotations; ++i) { BugAnnotation lhs = annotationList.get(i); BugAnnotation rhs = other.annotationList.get(i); if (!lhs.equals(rhs)) return false; }  return true;
	public boolean equals(Object o) {		if (!(o instanceof BugInstance))			return false;		BugInstance other = (BugInstance) o;		return type.equals(other.type) && priority == other.priority && annotationList.equals(other.annotationList);	}