Program: 61477
Project: 61477
Buggy source:
@Override public HighlightedText getFormattedText(){
  FontTag fnt=null;
  HighlightedTextWriter writer=new HighlightedTextWriter(Configuration.getCodeFormatting(),true);
  writer.append("String_Node_Str").newLine();
  writer.append("String_Node_Str").append(textBounds.Xmin).newLine();
  writer.append("String_Node_Str").append(textBounds.Ymin).newLine();
  writer.append("String_Node_Str").append(textBounds.Xmax).newLine();
  writer.append("String_Node_Str").append(textBounds.Ymax).newLine();
  if (textMatrix.translateX != 0) {
    writer.append("String_Node_Str").append(textMatrix.translateX).newLine();
  }
  if (textMatrix.translateY != 0) {
    writer.append("String_Node_Str").append(textMatrix.translateY).newLine();
  }
  if (textMatrix.hasScale) {
    writer.append("String_Node_Str").append(textMatrix.scaleX).newLine();
    writer.append("String_Node_Str").append(textMatrix.scaleY).newLine();
  }
  if (textMatrix.hasRotate) {
    writer.append("String_Node_Str").append(textMatrix.rotateSkew0).newLine();
    writer.append("String_Node_Str").append(textMatrix.rotateSkew1).newLine();
  }
  writer.append("String_Node_Str");
  for (  TEXTRECORD rec : textRecords) {
    if (rec.styleFlagsHasFont || rec.styleFlagsHasColor || rec.styleFlagsHasXOffset|| rec.styleFlagsHasYOffset) {
      writer.append("String_Node_Str").newLine();
      if (rec.styleFlagsHasFont) {
        FontTag fnt2=swf.getFont(rec.fontId);
        if (fnt2 != null) {
          fnt=fnt2;
        }
        writer.append("String_Node_Str").append(rec.fontId).newLine();
        writer.append("String_Node_Str").append(rec.textHeight).newLine();
      }
      if (fnt != null) {
        int letterSpacing=detectLetterSpacing(rec,fnt,rec.textHeight);
        if (letterSpacing != 0) {
          writer.append("String_Node_Str").append(letterSpacing).newLine();
        }
      }
      if (rec.styleFlagsHasColor) {
        if (getTextNum() == 1) {
          writer.append("String_Node_Str").append(rec.textColor.toHexRGB()).newLine();
        }
 else {
          writer.append("String_Node_Str").append(rec.textColorA.toHexARGB()).newLine();
        }
      }
      if (rec.styleFlagsHasXOffset) {
        writer.append("String_Node_Str").append(rec.xOffset).newLine();
      }
      if (rec.styleFlagsHasYOffset) {
        writer.append("String_Node_Str").append(rec.yOffset).newLine();
      }
      writer.append("String_Node_Str");
    }
    if (fnt == null) {
      writer.append(AppResources.translate("String_Node_Str").replace("String_Node_Str",Integer.toString(rec.fontId)));
    }
 else {
      writer.hilightSpecial(Helper.escapeActionScriptString(rec.getText(fnt)).replace("String_Node_Str","String_Node_Str").replace("String_Node_Str","String_Node_Str"),HighlightSpecialType.TEXT);
    }
  }
  return new HighlightedText(writer);
}

Fixed version (ground truth):
@Override public HighlightedText getFormattedText(){
  FontTag fnt=null;
  HighlightedTextWriter writer=new HighlightedTextWriter(Configuration.getCodeFormatting(),true);
  writer.append("String_Node_Str").newLine();
  writer.append("String_Node_Str").append(textBounds.Xmin).newLine();
  writer.append("String_Node_Str").append(textBounds.Ymin).newLine();
  writer.append("String_Node_Str").append(textBounds.Xmax).newLine();
  writer.append("String_Node_Str").append(textBounds.Ymax).newLine();
  if (textMatrix.translateX != 0) {
    writer.append("String_Node_Str").append(textMatrix.translateX).newLine();
  }
  if (textMatrix.translateY != 0) {
    writer.append("String_Node_Str").append(textMatrix.translateY).newLine();
  }
  if (textMatrix.hasScale) {
    writer.append("String_Node_Str").append(textMatrix.scaleX).newLine();
    writer.append("String_Node_Str").append(textMatrix.scaleY).newLine();
  }
  if (textMatrix.hasRotate) {
    writer.append("String_Node_Str").append(textMatrix.rotateSkew0).newLine();
    writer.append("String_Node_Str").append(textMatrix.rotateSkew1).newLine();
  }
  writer.append("String_Node_Str");
  int textHeight=12;
  for (  TEXTRECORD rec : textRecords) {
    if (rec.styleFlagsHasFont || rec.styleFlagsHasColor || rec.styleFlagsHasXOffset|| rec.styleFlagsHasYOffset) {
      writer.append("String_Node_Str").newLine();
      if (rec.styleFlagsHasFont) {
        FontTag fnt2=swf.getFont(rec.fontId);
        if (fnt2 != null) {
          fnt=fnt2;
        }
        writer.append("String_Node_Str").append(rec.fontId).newLine();
        writer.append("String_Node_Str").append(rec.textHeight).newLine();
        textHeight=rec.textHeight;
      }
      if (fnt != null) {
        int letterSpacing=detectLetterSpacing(rec,fnt,textHeight);
        if (letterSpacing != 0) {
          writer.append("String_Node_Str").append(letterSpacing).newLine();
        }
      }
      if (rec.styleFlagsHasColor) {
        if (getTextNum() == 1) {
          writer.append("String_Node_Str").append(rec.textColor.toHexRGB()).newLine();
        }
 else {
          writer.append("String_Node_Str").append(rec.textColorA.toHexARGB()).newLine();
        }
      }
      if (rec.styleFlagsHasXOffset) {
        writer.append("String_Node_Str").append(rec.xOffset).newLine();
      }
      if (rec.styleFlagsHasYOffset) {
        writer.append("String_Node_Str").append(rec.yOffset).newLine();
      }
      writer.append("String_Node_Str");
    }
    if (fnt == null) {
      writer.append(AppResources.translate("String_Node_Str").replace("String_Node_Str",Integer.toString(rec.fontId)));
    }
 else {
      writer.hilightSpecial(Helper.escapeActionScriptString(rec.getText(fnt)).replace("String_Node_Str","String_Node_Str").replace("String_Node_Str","String_Node_Str"),HighlightSpecialType.TEXT);
    }
  }
  return new HighlightedText(writer);
}