Program: 12455
Project: 12455
Buggy source:
@Override public boolean equals(Object obj){
  if (this == obj)   return true;
  if (obj == null)   return false;
  if (getClass() != obj.getClass())   return false;
  Annotation other=(Annotation)obj;
  if (URIValue == null) {
    if (other.URIValue != null)     return false;
  }
 else   if (!URIValue.equals(other.URIValue))   return false;
  if (boolValue == null) {
    if (other.boolValue != null)     return false;
  }
 else   if (!boolValue.equals(other.boolValue))   return false;
  if (doubleValue == null) {
    if (other.doubleValue != null)     return false;
  }
 else   if (!doubleValue.equals(other.doubleValue))   return false;
  if (intValue == null) {
    if (other.intValue != null)     return false;
  }
 else   if (!intValue.equals(other.intValue))   return false;
  if (localPart == null) {
    if (other.localPart != null)     return false;
  }
 else   if (!localPart.equals(other.localPart))   return false;
  if (namespaceURI == null) {
    if (other.namespaceURI != null)     return false;
  }
 else   if (!namespaceURI.equals(other.namespaceURI))   return false;
  if (nestedAnnotations == null) {
    if (other.nestedAnnotations != null)     return false;
  }
 else   if (!nestedAnnotations.equals(other.nestedAnnotations))   return false;
  if (nestedLocalPart == null) {
    if (other.nestedLocalPart != null)     return false;
  }
 else   if (!nestedLocalPart.equals(other.nestedLocalPart))   return false;
  if (nestedNamespaceURI == null) {
    if (other.nestedNamespaceURI != null)     return false;
  }
 else   if (!nestedNamespaceURI.equals(other.nestedNamespaceURI))   return false;
  if (nestedPrefix == null) {
    if (other.nestedPrefix != null)     return false;
  }
 else   if (!nestedPrefix.equals(other.nestedPrefix))   return false;
  if (nestedURI == null) {
    if (other.nestedURI != null)     return false;
  }
 else   if (!nestedURI.equals(other.nestedURI))   return false;
  if (prefix == null) {
    if (other.prefix != null)     return false;
  }
 else   if (!prefix.equals(other.prefix))   return false;
  if (stringValue == null) {
    if (other.stringValue != null)     return false;
  }
 else   if (!stringValue.equals(other.stringValue))   return false;
  if (type == null) {
    if (other.type != null)     return false;
  }
 else   if (!type.equals(other.type))   return false;
  return true;
}

Fixed version (ground truth):
@Override public boolean equals(Object obj){
  if (this == obj)   return true;
  if (obj == null)   return false;
  if (getClass() != obj.getClass())   return false;
  Annotation other=(Annotation)obj;
  if (URIValue == null) {
    if (other.URIValue != null)     return false;
  }
 else   if (!URIValue.equals(other.URIValue))   return false;
  if (boolValue == null) {
    if (other.boolValue != null)     return false;
  }
 else   if (!boolValue.equals(other.boolValue))   return false;
  if (doubleValue == null) {
    if (other.doubleValue != null)     return false;
  }
 else   if (!doubleValue.equals(other.doubleValue))   return false;
  if (intValue == null) {
    if (other.intValue != null)     return false;
  }
 else   if (!intValue.equals(other.intValue))   return false;
  if (localPart == null) {
    if (other.localPart != null)     return false;
  }
 else   if (!localPart.equals(other.localPart))   return false;
  if (namespaceURI == null) {
    if (other.namespaceURI != null)     return false;
  }
 else   if (!namespaceURI.equals(other.namespaceURI))   return false;
  if (nestedAnnotations == null) {
    if (other.nestedAnnotations != null)     return false;
  }
 else   if (!nestedAnnotations.equals(other.nestedAnnotations))   return false;
  if (nestedLocalPart == null) {
    if (other.nestedLocalPart != null)     return false;
  }
 else   if (!nestedLocalPart.equals(other.nestedLocalPart))   return false;
  if (nestedNamespaceURI == null) {
    if (other.nestedNamespaceURI != null)     return false;
  }
 else   if (!nestedNamespaceURI.equals(other.nestedNamespaceURI))   return false;
  if (nestedURI == null) {
    if (other.nestedURI != null)     return false;
  }
 else   if (!nestedURI.equals(other.nestedURI))   return false;
  if (stringValue == null) {
    if (other.stringValue != null)     return false;
  }
 else   if (!stringValue.equals(other.stringValue))   return false;
  if (type == null) {
    if (other.type != null)     return false;
  }
 else   if (!type.equals(other.type))   return false;
  return true;
}