Program: 76439
Project: 76439
Buggy source:
/** 
 * Factory Methods
 */
protected Element createGradientPaint(SVGGradientPaint paint,boolean highlight){
  Element elem=dom.createElement("String_Node_Str");
  if (highlight)   elem.setAttribute("String_Node_Str",paint.getId() + "String_Node_Str");
 else   elem.setAttribute("String_Node_Str",paint.getId());
  elem.setAttribute("String_Node_Str",Double.toString(paint.getPoint1().getX()));
  elem.setAttribute("String_Node_Str",Double.toString(paint.getPoint1().getY()));
  elem.setAttribute("String_Node_Str",Double.toString(paint.getPoint2().getX()));
  elem.setAttribute("String_Node_Str",Double.toString(paint.getPoint2().getY()));
  elem.setAttribute("String_Node_Str","String_Node_Str");
  if (paint.isCyclic())   elem.setAttribute("String_Node_Str","String_Node_Str");
  Element startColor=dom.createElement("String_Node_Str");
  startColor.setAttribute("String_Node_Str","String_Node_Str");
  if (highlight)   startColor.setAttribute("String_Node_Str",serializeHighlightToString(paint.getColor1()));
 else   startColor.setAttribute("String_Node_Str",serializeToString(paint.getColor1()));
  elem.appendChild(startColor);
  Element endColor=dom.createElement("String_Node_Str");
  endColor.setAttribute("String_Node_Str","String_Node_Str");
  if (highlight)   endColor.setAttribute("String_Node_Str",serializeHighlightToString(paint.getColor2()));
 else   endColor.setAttribute("String_Node_Str",serializeToString(paint.getColor2()));
  elem.appendChild(endColor);
  return elem;
}

Fixed version (ground truth):
/** 
 * Factory Methods
 */
protected Element createGradientPaint(SVGGradientPaint paint,boolean highlight){
  Element elem=dom.createElement("String_Node_Str");
  if (highlight)   elem.setAttribute("String_Node_Str",paint.getId() + "String_Node_Str");
 else   elem.setAttribute("String_Node_Str",paint.getId());
  elem.setAttribute("String_Node_Str",Double.toString(paint.getPoint1().getX()));
  elem.setAttribute("String_Node_Str",Double.toString(paint.getPoint1().getY()));
  elem.setAttribute("String_Node_Str",Double.toString(paint.getPoint2().getX()));
  elem.setAttribute("String_Node_Str",Double.toString(paint.getPoint2().getY()));
  elem.setAttribute("String_Node_Str","String_Node_Str");
  if (paint.isCyclic())   elem.setAttribute("String_Node_Str","String_Node_Str");
  Element startColor=dom.createElement("String_Node_Str");
  startColor.setAttribute("String_Node_Str","String_Node_Str");
  if (highlight) {
    startColor.setAttribute("String_Node_Str",serializeHighlightToString(paint.getColor1()));
  }
 else {
    startColor.setAttribute("String_Node_Str",serializeToString(paint.getColor1()));
  }
  String alpha=alphaToString(paint.getColor1());
  if (alpha != null)   startColor.setAttribute("String_Node_Str",alpha);
  elem.appendChild(startColor);
  Element endColor=dom.createElement("String_Node_Str");
  endColor.setAttribute("String_Node_Str","String_Node_Str");
  if (highlight)   endColor.setAttribute("String_Node_Str",serializeHighlightToString(paint.getColor2()));
 else   endColor.setAttribute("String_Node_Str",serializeToString(paint.getColor2()));
  alpha=alphaToString(paint.getColor2());
  if (alpha != null)   endColor.setAttribute("String_Node_Str",alpha);
  elem.appendChild(endColor);
  return elem;
}