Program: 10993
Project: 10993
Buggy source:
/** 
 * Sets the color value as specified by the parameters. If <var>colorType</var> requires an <code>RGBColor</code>, then <var>rgbColor</var> must be a string that matches <a href='types.html#DataTypeColor'>&lt;color&gt;</a>; otherwise, <var>rgbColor</var>. must be null. If <var>colorType</var> requires an  {@link org.vectomatic.dom.svg.OMSVGICCColor}, then <var>iccColor</var> must be a string that matches <a href='types.html#DataTypeICCColor'>&lt;icccolor&gt;</a>; otherwise, <var>iccColor</var> must be null.
 * @param colorType One of the defined constants for {@link org.vectomatic.dom.svg.OMSVGColor#getColorType()}.
 * @param rgbColor The specification of an sRGB color, or null.
 * @param iccColor The specification of an ICC color, or null.
 * @throws SVGException (SVG_INVALID_VALUE_ERR) Raised if one of the   parameters has an invalid value.
 */
public final void setColor(short colorType,String rgbColor,String iccColor) throws JavaScriptException {
  if (colorType == SVG_COLORTYPE_RGBCOLOR_ICCCOLOR && iccColor != null && rgbColor != null) {
    this.iccColor=SVGPaintParser.INSTANCE.iccColor(iccColor);
    this.rgbColor=SVGPaintParser.INSTANCE.rgbColor(rgbColor);
    setCssText(rgbColor + "String_Node_Str" + iccColor);
  }
 else   if (colorType == SVG_COLORTYPE_RGBCOLOR && rgbColor != null && iccColor == null) {
    this.iccColor=null;
    this.rgbColor=SVGPaintParser.INSTANCE.rgbColor(rgbColor);
    setCssText(rgbColor);
  }
 else   if (colorType == SVG_COLORTYPE_CURRENTCOLOR && rgbColor == null && iccColor == null) {
    this.iccColor=null;
    this.rgbColor=null;
    setCssText(SVGConstants.CSS_CURRENTCOLOR_VALUE);
  }
 else   if (colorType == SVG_COLORTYPE_UNKNOWN && rgbColor == null && iccColor == null) {
    this.iccColor=null;
    this.rgbColor=null;
    setCssText(SVGConstants.CSS_NONE_VALUE);
  }
 else {
    throw new JavaScriptException("String_Node_Str");
  }
  this.colorType=colorType;
}

Fixed version (ground truth):
/** 
 * Sets the color value as specified by the parameters. If <var>colorType</var> requires an <code>RGBColor</code>, then <var>rgbColor</var> must be a string that matches <a href='types.html#DataTypeColor'>&lt;color&gt;</a>; otherwise, <var>rgbColor</var>. must be null. If <var>colorType</var> requires an  {@link org.vectomatic.dom.svg.OMSVGICCColor}, then <var>iccColor</var> must be a string that matches <a href='types.html#DataTypeICCColor'>&lt;icccolor&gt;</a>; otherwise, <var>iccColor</var> must be null.
 * @param colorType One of the defined constants for {@link org.vectomatic.dom.svg.OMSVGColor#getColorType()}.
 * @param rgbColor The specification of an sRGB color, or null.
 * @param iccColor The specification of an ICC color, or null.
 * @throws SVGException (SVG_INVALID_VALUE_ERR) Raised if one of the   parameters has an invalid value.
 */
public final void setColor(short colorType,String rgbColor,String iccColor) throws JavaScriptException {
  if (colorType == SVG_COLORTYPE_RGBCOLOR_ICCCOLOR && iccColor != null && rgbColor != null) {
    this.iccColor=SVGPaintParser.INSTANCE.iccColor(iccColor);
    this.rgbColor=SVGPaintParser.INSTANCE.rgbColor(rgbColor);
    setCssText(rgbColor.trim() + "String_Node_Str" + iccColor);
  }
 else   if (colorType == SVG_COLORTYPE_RGBCOLOR && rgbColor != null && iccColor == null) {
    this.iccColor=null;
    this.rgbColor=SVGPaintParser.INSTANCE.rgbColor(rgbColor);
    setCssText(rgbColor);
  }
 else   if (colorType == SVG_COLORTYPE_CURRENTCOLOR && rgbColor == null && iccColor == null) {
    this.iccColor=null;
    this.rgbColor=null;
    setCssText(SVGConstants.CSS_CURRENTCOLOR_VALUE);
  }
 else   if (colorType == SVG_COLORTYPE_UNKNOWN && rgbColor == null && iccColor == null) {
    this.iccColor=null;
    this.rgbColor=null;
    setCssText(SVGConstants.CSS_NONE_VALUE);
  }
 else {
    throw new JavaScriptException("String_Node_Str");
  }
  this.colorType=colorType;
}