Program: 69400
Project: 69400
Buggy source:
protected void appendConfigToTinyJSArray_4(StringOutput out,Translator translator){
  Map<String,String> copyValues=new HashMap<String,String>(quotedConfigValues);
  Map<String,String> copyNonValues=new HashMap<String,String>(nonQuotedConfigValues);
  String converter=copyNonValues.get(URLCONVERTER_CALLBACK);
  if (converter != null) {
    copyNonValues.put(CONVERT_URLS,"String_Node_Str");
  }
  String contentCss=copyValues.remove(CONTENT_CSS);
  if (contentCss != null) {
    copyNonValues.put(IMPORTCSS_APPEND,"String_Node_Str");
    copyValues.put("String_Node_Str",contentCss);
    copyNonValues.put(IMPORT_SELECTOR_CONVERTER,IMPORT_SELECTOR_CONVERTER_VALUE_REMOVE_EMOTICONS);
    copyNonValues.put(IMPORTCSS_GROUPS,IMPORTCSS_GROUPS_VALUE_MENU);
    String selectorFilter=Settings.getHtmlEditorContentCssClassPrefixes();
    if (selectorFilter != null) {
      if (selectorFilter.startsWith("String_Node_Str") && selectorFilter.endsWith("String_Node_Str")) {
        copyNonValues.put(IMPORTCSS_SELECTOR_FILTER,selectorFilter);
      }
 else {
        copyValues.put(IMPORTCSS_SELECTOR_FILTER,selectorFilter);
      }
    }
  }
  StringOutput tinyMenuSb=new StringOutput();
  tinyMenuSb.append("String_Node_Str").append(tinyConfig.getPlugins()).append("String_Node_Str").append("String_Node_Str").append("String_Node_Str").append("String_Node_Str").append(isRelativeUrls()).append("String_Node_Str").append("String_Node_Str").append(isRemoveScriptHost()).append("String_Node_Str").append("String_Node_Str").append(isInline()).append("String_Node_Str").append("String_Node_Str").append(isStatusBar()).append("String_Node_Str").append("String_Node_Str").append(tinyConfig.hasMenu()).append("String_Node_Str");
  String leftAndClear="String_Node_Str";
  String rightAndClear="String_Node_Str";
  if (translator != null) {
    translator=Util.createPackageTranslator(RichTextConfiguration.class,translator.getLocale(),translator);
    leftAndClear=translator.translate("String_Node_Str");
    rightAndClear=translator.translate("String_Node_Str");
  }
  tinyMenuSb.append("String_Node_Str").append("String_Node_Str").append("String_Node_Str").append(leftAndClear).append("String_Node_Str").append("String_Node_Str").append("String_Node_Str").append("String_Node_Str").append(rightAndClear).append("String_Node_Str").append("String_Node_Str").append("String_Node_Str").append("String_Node_Str");
  tinyMenuSb.append("String_Node_Str").append("String_Node_Str").append("String_Node_Str").append("String_Node_Str").append("String_Node_Str").append("String_Node_Str");
  tinyMenuSb.append("String_Node_Str").append("String_Node_Str").append("String_Node_Str").append("String_Node_Str").append("String_Node_Str").append("String_Node_Str").append("String_Node_Str");
  if (tinyConfig.getTool1() != null) {
    tinyMenuSb.append("String_Node_Str").append(tinyConfig.getTool1()).append("String_Node_Str");
  }
 else {
    tinyMenuSb.append("String_Node_Str");
  }
  if (tinyConfig.hasMenu()) {
    tinyMenuSb.append("String_Node_Str");
    boolean first=true;
    for (    String menuItem : tinyConfig.getMenu()) {
      if (!first)       tinyMenuSb.append("String_Node_Str");
      if (first)       first=false;
      tinyMenuSb.append(menuItem);
    }
    tinyMenuSb.append("String_Node_Str");
  }
 else {
    tinyMenuSb.append("String_Node_Str");
  }
  for (  Map.Entry<String,String> entry : copyValues.entrySet()) {
    tinyMenuSb.append(entry.getKey()).append("String_Node_Str").append(entry.getValue()).append("String_Node_Str");
  }
  for (  Map.Entry<String,String> entry : copyNonValues.entrySet()) {
    tinyMenuSb.append(entry.getKey()).append("String_Node_Str").append(entry.getValue()).append("String_Node_Str");
  }
  out.append(tinyMenuSb);
}

Fixed version (ground truth):
protected void appendConfigToTinyJSArray_4(StringOutput out,Translator translator){
  Map<String,String> copyValues=new HashMap<String,String>(quotedConfigValues);
  Map<String,String> copyNonValues=new HashMap<String,String>(nonQuotedConfigValues);
  String converter=copyNonValues.get(URLCONVERTER_CALLBACK);
  if (converter != null) {
    copyNonValues.put(CONVERT_URLS,"String_Node_Str");
  }
  String contentCss=copyValues.remove(CONTENT_CSS);
  if (contentCss != null) {
    copyNonValues.put(IMPORTCSS_APPEND,"String_Node_Str");
    copyValues.put("String_Node_Str",contentCss);
    copyNonValues.put(IMPORT_SELECTOR_CONVERTER,IMPORT_SELECTOR_CONVERTER_VALUE_REMOVE_EMOTICONS);
    copyNonValues.put(IMPORTCSS_GROUPS,IMPORTCSS_GROUPS_VALUE_MENU);
    String selectorFilter=Settings.getHtmlEditorContentCssClassPrefixes();
    if (selectorFilter != null) {
      if (selectorFilter.startsWith("String_Node_Str") && selectorFilter.endsWith("String_Node_Str")) {
        copyNonValues.put(IMPORTCSS_SELECTOR_FILTER,selectorFilter);
      }
 else {
        copyValues.put(IMPORTCSS_SELECTOR_FILTER,selectorFilter);
      }
    }
  }
  StringOutput tinyMenuSb=new StringOutput();
  tinyMenuSb.append("String_Node_Str").append(tinyConfig.getPlugins()).append("String_Node_Str").append("String_Node_Str").append("String_Node_Str").append(isRelativeUrls()).append("String_Node_Str").append("String_Node_Str").append(isRemoveScriptHost()).append("String_Node_Str").append("String_Node_Str").append(isInline()).append("String_Node_Str").append("String_Node_Str").append(isStatusBar()).append("String_Node_Str").append("String_Node_Str").append(tinyConfig.hasMenu()).append("String_Node_Str");
  String leftAndClear="String_Node_Str";
  String rightAndClear="String_Node_Str";
  if (translator != null) {
    translator=Util.createPackageTranslator(RichTextConfiguration.class,translator.getLocale(),translator);
    leftAndClear=translator.translate("String_Node_Str");
    rightAndClear=translator.translate("String_Node_Str");
  }
  tinyMenuSb.append("String_Node_Str").append("String_Node_Str").append("String_Node_Str").append(leftAndClear).append("String_Node_Str").append("String_Node_Str").append("String_Node_Str").append("String_Node_Str").append(rightAndClear).append("String_Node_Str").append("String_Node_Str").append("String_Node_Str").append("String_Node_Str");
  tinyMenuSb.append("String_Node_Str").append("String_Node_Str").append("String_Node_Str").append("String_Node_Str").append("String_Node_Str").append("String_Node_Str");
  tinyMenuSb.append("String_Node_Str").append("String_Node_Str").append("String_Node_Str").append("String_Node_Str").append("String_Node_Str").append("String_Node_Str").append("String_Node_Str");
  if (tinyConfig.getTool1() != null) {
    tinyMenuSb.append("String_Node_Str").append(tinyConfig.getTool1()).append("String_Node_Str");
  }
 else {
    tinyMenuSb.append("String_Node_Str");
  }
  if (tinyConfig.hasMenu()) {
    tinyMenuSb.append("String_Node_Str");
    boolean first=true;
    for (    String menuItem : tinyConfig.getMenu()) {
      if (!first)       tinyMenuSb.append("String_Node_Str");
      if (first)       first=false;
      tinyMenuSb.append(menuItem);
    }
    tinyMenuSb.append("String_Node_Str");
  }
 else {
    tinyMenuSb.append("String_Node_Str");
  }
  for (  Map.Entry<String,String> entry : copyValues.entrySet()) {
    tinyMenuSb.append(entry.getKey()).append("String_Node_Str").append(entry.getValue()).append("String_Node_Str");
  }
  for (  Map.Entry<String,String> entry : copyNonValues.entrySet()) {
    tinyMenuSb.append(entry.getKey()).append("String_Node_Str").append(entry.getValue()).append("String_Node_Str");
  }
  out.append(tinyMenuSb);
}