Program: 67340
Project: 67340
Buggy source:
/** 
 * INTERNAL: Initialize a mapping to the platform operator names for usage with exceptions.
 */
public static Map initializePlatformOperatorNames(){
  Map platformOperatorNames=new HashMap();
  platformOperatorNames.put(new Integer(ToUpperCase),"String_Node_Str");
  platformOperatorNames.put(new Integer(ToLowerCase),"String_Node_Str");
  platformOperatorNames.put(new Integer(Chr),"String_Node_Str");
  platformOperatorNames.put(new Integer(Concat),"String_Node_Str");
  platformOperatorNames.put(new Integer(HexToRaw),"String_Node_Str");
  platformOperatorNames.put(new Integer(Initcap),"String_Node_Str");
  platformOperatorNames.put(new Integer(Instring),"String_Node_Str");
  platformOperatorNames.put(new Integer(Soundex),"String_Node_Str");
  platformOperatorNames.put(new Integer(LeftPad),"String_Node_Str");
  platformOperatorNames.put(new Integer(LeftTrim),"String_Node_Str");
  platformOperatorNames.put(new Integer(RightPad),"String_Node_Str");
  platformOperatorNames.put(new Integer(RightTrim),"String_Node_Str");
  platformOperatorNames.put(new Integer(Substring),"String_Node_Str");
  platformOperatorNames.put(new Integer(Translate),"String_Node_Str");
  platformOperatorNames.put(new Integer(Ascii),"String_Node_Str");
  platformOperatorNames.put(new Integer(Length),"String_Node_Str");
  platformOperatorNames.put(new Integer(CharIndex),"String_Node_Str");
  platformOperatorNames.put(new Integer(CharLength),"String_Node_Str");
  platformOperatorNames.put(new Integer(Difference),"String_Node_Str");
  platformOperatorNames.put(new Integer(Reverse),"String_Node_Str");
  platformOperatorNames.put(new Integer(Replicate),"String_Node_Str");
  platformOperatorNames.put(new Integer(Right),"String_Node_Str");
  platformOperatorNames.put(new Integer(Locate),"String_Node_Str");
  platformOperatorNames.put(new Integer(Locate2),"String_Node_Str");
  platformOperatorNames.put(new Integer(ToNumber),"String_Node_Str");
  platformOperatorNames.put(new Integer(ToChar),"String_Node_Str");
  platformOperatorNames.put(new Integer(ToCharWithFormat),"String_Node_Str");
  platformOperatorNames.put(new Integer(AddMonths),"String_Node_Str");
  platformOperatorNames.put(new Integer(DateToString),"String_Node_Str");
  platformOperatorNames.put(new Integer(MonthsBetween),"String_Node_Str");
  platformOperatorNames.put(new Integer(NextDay),"String_Node_Str");
  platformOperatorNames.put(new Integer(RoundDate),"String_Node_Str");
  platformOperatorNames.put(new Integer(AddDate),"String_Node_Str");
  platformOperatorNames.put(new Integer(DateName),"String_Node_Str");
  platformOperatorNames.put(new Integer(DatePart),"String_Node_Str");
  platformOperatorNames.put(new Integer(DateDifference),"String_Node_Str");
  platformOperatorNames.put(new Integer(TruncateDate),"String_Node_Str");
  platformOperatorNames.put(new Integer(NewTime),"String_Node_Str");
  platformOperatorNames.put(new Integer(Nvl),"String_Node_Str");
  platformOperatorNames.put(new Integer(NewTime),"String_Node_Str");
  platformOperatorNames.put(new Integer(Ceil),"String_Node_Str");
  platformOperatorNames.put(new Integer(Cos),"String_Node_Str");
  platformOperatorNames.put(new Integer(Cosh),"String_Node_Str");
  platformOperatorNames.put(new Integer(Abs),"String_Node_Str");
  platformOperatorNames.put(new Integer(Acos),"String_Node_Str");
  platformOperatorNames.put(new Integer(Asin),"String_Node_Str");
  platformOperatorNames.put(new Integer(Atan),"String_Node_Str");
  platformOperatorNames.put(new Integer(Exp),"String_Node_Str");
  platformOperatorNames.put(new Integer(Sqrt),"String_Node_Str");
  platformOperatorNames.put(new Integer(Floor),"String_Node_Str");
  platformOperatorNames.put(new Integer(Ln),"String_Node_Str");
  platformOperatorNames.put(new Integer(Log),"String_Node_Str");
  platformOperatorNames.put(new Integer(Mod),"String_Node_Str");
  platformOperatorNames.put(new Integer(Power),"String_Node_Str");
  platformOperatorNames.put(new Integer(Round),"String_Node_Str");
  platformOperatorNames.put(new Integer(Sign),"String_Node_Str");
  platformOperatorNames.put(new Integer(Sin),"String_Node_Str");
  platformOperatorNames.put(new Integer(Sinh),"String_Node_Str");
  platformOperatorNames.put(new Integer(Tan),"String_Node_Str");
  platformOperatorNames.put(new Integer(Tanh),"String_Node_Str");
  platformOperatorNames.put(new Integer(Trunc),"String_Node_Str");
  platformOperatorNames.put(new Integer(Greatest),"String_Node_Str");
  platformOperatorNames.put(new Integer(Least),"String_Node_Str");
  platformOperatorNames.put(new Integer(Add),"String_Node_Str");
  platformOperatorNames.put(new Integer(Subtract),"String_Node_Str");
  platformOperatorNames.put(new Integer(Divide),"String_Node_Str");
  platformOperatorNames.put(new Integer(Multiply),"String_Node_Str");
  platformOperatorNames.put(new Integer(Atan2),"String_Node_Str");
  platformOperatorNames.put(new Integer(Cot),"String_Node_Str");
  platformOperatorNames.put(new Integer(Deref),"String_Node_Str");
  platformOperatorNames.put(new Integer(Ref),"String_Node_Str");
  platformOperatorNames.put(new Integer(RefToHex),"String_Node_Str");
  platformOperatorNames.put(new Integer(Value),"String_Node_Str");
  platformOperatorNames.put(new Integer(Extract),"String_Node_Str");
  platformOperatorNames.put(new Integer(ExtractValue),"String_Node_Str");
  platformOperatorNames.put(new Integer(ExistsNode),"String_Node_Str");
  platformOperatorNames.put(new Integer(GetStringVal),"String_Node_Str");
  platformOperatorNames.put(new Integer(GetNumberVal),"String_Node_Str");
  platformOperatorNames.put(new Integer(IsFragment),"String_Node_Str");
  platformOperatorNames.put(new Integer(SDO_WITHIN_DISTANCE),"String_Node_Str");
  platformOperatorNames.put(new Integer(SDO_RELATE),"String_Node_Str");
  platformOperatorNames.put(new Integer(SDO_FILTER),"String_Node_Str");
  platformOperatorNames.put(new Integer(SDO_NN),"String_Node_Str");
  return platformOperatorNames;
}

Fixed version (ground truth):
/** 
 * INTERNAL: Initialize a mapping to the platform operator names for usage with exceptions.
 */
public static Map initializePlatformOperatorNames(){
  Map platformOperatorNames=new HashMap();
  platformOperatorNames.put(new Integer(ToUpperCase),"String_Node_Str");
  platformOperatorNames.put(new Integer(ToLowerCase),"String_Node_Str");
  platformOperatorNames.put(new Integer(Chr),"String_Node_Str");
  platformOperatorNames.put(new Integer(Concat),"String_Node_Str");
  platformOperatorNames.put(new Integer(HexToRaw),"String_Node_Str");
  platformOperatorNames.put(new Integer(Initcap),"String_Node_Str");
  platformOperatorNames.put(new Integer(Instring),"String_Node_Str");
  platformOperatorNames.put(new Integer(Soundex),"String_Node_Str");
  platformOperatorNames.put(new Integer(LeftPad),"String_Node_Str");
  platformOperatorNames.put(new Integer(LeftTrim),"String_Node_Str");
  platformOperatorNames.put(new Integer(RightPad),"String_Node_Str");
  platformOperatorNames.put(new Integer(RightTrim),"String_Node_Str");
  platformOperatorNames.put(new Integer(Substring),"String_Node_Str");
  platformOperatorNames.put(new Integer(Translate),"String_Node_Str");
  platformOperatorNames.put(new Integer(Ascii),"String_Node_Str");
  platformOperatorNames.put(new Integer(Length),"String_Node_Str");
  platformOperatorNames.put(new Integer(CharIndex),"String_Node_Str");
  platformOperatorNames.put(new Integer(CharLength),"String_Node_Str");
  platformOperatorNames.put(new Integer(Difference),"String_Node_Str");
  platformOperatorNames.put(new Integer(Reverse),"String_Node_Str");
  platformOperatorNames.put(new Integer(Replicate),"String_Node_Str");
  platformOperatorNames.put(new Integer(Right),"String_Node_Str");
  platformOperatorNames.put(new Integer(Locate),"String_Node_Str");
  platformOperatorNames.put(new Integer(Locate2),"String_Node_Str");
  platformOperatorNames.put(new Integer(ToNumber),"String_Node_Str");
  platformOperatorNames.put(new Integer(ToChar),"String_Node_Str");
  platformOperatorNames.put(new Integer(ToCharWithFormat),"String_Node_Str");
  platformOperatorNames.put(new Integer(AddMonths),"String_Node_Str");
  platformOperatorNames.put(new Integer(DateToString),"String_Node_Str");
  platformOperatorNames.put(new Integer(MonthsBetween),"String_Node_Str");
  platformOperatorNames.put(new Integer(NextDay),"String_Node_Str");
  platformOperatorNames.put(new Integer(RoundDate),"String_Node_Str");
  platformOperatorNames.put(new Integer(AddDate),"String_Node_Str");
  platformOperatorNames.put(new Integer(DateName),"String_Node_Str");
  platformOperatorNames.put(new Integer(DatePart),"String_Node_Str");
  platformOperatorNames.put(new Integer(DateDifference),"String_Node_Str");
  platformOperatorNames.put(new Integer(TruncateDate),"String_Node_Str");
  platformOperatorNames.put(new Integer(NewTime),"String_Node_Str");
  platformOperatorNames.put(new Integer(Nvl),"String_Node_Str");
  platformOperatorNames.put(new Integer(NewTime),"String_Node_Str");
  platformOperatorNames.put(new Integer(Ceil),"String_Node_Str");
  platformOperatorNames.put(new Integer(Cos),"String_Node_Str");
  platformOperatorNames.put(new Integer(Cosh),"String_Node_Str");
  platformOperatorNames.put(new Integer(Abs),"String_Node_Str");
  platformOperatorNames.put(new Integer(Acos),"String_Node_Str");
  platformOperatorNames.put(new Integer(Asin),"String_Node_Str");
  platformOperatorNames.put(new Integer(Atan),"String_Node_Str");
  platformOperatorNames.put(new Integer(Exp),"String_Node_Str");
  platformOperatorNames.put(new Integer(Sqrt),"String_Node_Str");
  platformOperatorNames.put(new Integer(Floor),"String_Node_Str");
  platformOperatorNames.put(new Integer(Ln),"String_Node_Str");
  platformOperatorNames.put(new Integer(Log),"String_Node_Str");
  platformOperatorNames.put(new Integer(Mod),"String_Node_Str");
  platformOperatorNames.put(new Integer(Power),"String_Node_Str");
  platformOperatorNames.put(new Integer(Round),"String_Node_Str");
  platformOperatorNames.put(new Integer(Sign),"String_Node_Str");
  platformOperatorNames.put(new Integer(Sin),"String_Node_Str");
  platformOperatorNames.put(new Integer(Sinh),"String_Node_Str");
  platformOperatorNames.put(new Integer(Tan),"String_Node_Str");
  platformOperatorNames.put(new Integer(Tanh),"String_Node_Str");
  platformOperatorNames.put(new Integer(Trunc),"String_Node_Str");
  platformOperatorNames.put(new Integer(Greatest),"String_Node_Str");
  platformOperatorNames.put(new Integer(Least),"String_Node_Str");
  platformOperatorNames.put(new Integer(Add),"String_Node_Str");
  platformOperatorNames.put(new Integer(Subtract),"String_Node_Str");
  platformOperatorNames.put(new Integer(Divide),"String_Node_Str");
  platformOperatorNames.put(new Integer(Multiply),"String_Node_Str");
  platformOperatorNames.put(new Integer(Atan2),"String_Node_Str");
  platformOperatorNames.put(new Integer(Cot),"String_Node_Str");
  platformOperatorNames.put(new Integer(Deref),"String_Node_Str");
  platformOperatorNames.put(new Integer(Ref),"String_Node_Str");
  platformOperatorNames.put(new Integer(RefToHex),"String_Node_Str");
  platformOperatorNames.put(new Integer(Value),"String_Node_Str");
  platformOperatorNames.put(new Integer(Extract),"String_Node_Str");
  platformOperatorNames.put(new Integer(ExtractValue),"String_Node_Str");
  platformOperatorNames.put(new Integer(ExistsNode),"String_Node_Str");
  platformOperatorNames.put(new Integer(GetStringVal),"String_Node_Str");
  platformOperatorNames.put(new Integer(GetNumberVal),"String_Node_Str");
  platformOperatorNames.put(new Integer(IsFragment),"String_Node_Str");
  platformOperatorNames.put(new Integer(SDO_WITHIN_DISTANCE),"String_Node_Str");
  platformOperatorNames.put(new Integer(SDO_RELATE),"String_Node_Str");
  platformOperatorNames.put(new Integer(SDO_FILTER),"String_Node_Str");
  platformOperatorNames.put(new Integer(SDO_NN),"String_Node_Str");
  platformOperatorNames.put(new Integer(NullIf),"String_Node_Str");
  return platformOperatorNames;
}