Program: 76236
Project: 76236
Buggy source:
/** 
 * Construct a new graph editing application.
 */
public VergilApplication(){
  super();
  JTreePane treepane=new JTreePane("String_Node_Str");
  DesktopFrame frame=new DesktopFrame(this,treepane);
  setApplicationFrame(frame);
  DefaultStoragePolicy storage=new DefaultStoragePolicy();
  setStoragePolicy(storage);
  FileFilter ff=new FileFilter(){
    public boolean accept(    File file){
      if (file.isDirectory()) {
        return true;
      }
 else {
        return GUIUtilities.getFileExtension(file).toLowerCase().equals("String_Node_Str");
      }
    }
    public String getDescription(){
      return "String_Node_Str";
    }
  }
;
  JFileChooser fc;
  fc=storage.getOpenFileChooser();
  fc.addChoosableFileFilter(ff);
  fc.setFileFilter(ff);
  fc=storage.getSaveFileChooser();
  fc.addChoosableFileFilter(ff);
  fc.setFileFilter(ff);
  addDocumentFactory(new PtolemyDocument.Factory());
  initializeMenuBar(frame.getJMenuBar());
  initializeToolBar(frame.getJToolBar());
  JPanel toolBarPane=frame.getToolBarPane();
  toolBarPane.setLayout(new FlowLayout(FlowLayout.LEFT,0,0));
  SwingUtilities.invokeLater(new PaletteInitializer());
  Icon icon=getResources().getImageIcon("String_Node_Str");
  Image iconImage=getResources().getImage("String_Node_Str");
  frame.setFrameIcon(icon);
  frame.setIconImage(iconImage);
  setCurrentDocument(null);
  addDocumentListener(new Focuser());
  SwingUtilities.updateComponentTreeUI(treepane);
  Action action=getAction(DefaultActions.NEW);
  javax.swing.Timer timer=new javax.swing.Timer(200,action);
  timer.setRepeats(false);
  timer.start();
  new PtolemyPackage(this);
}

Fixed version (ground truth):
/** 
 * Construct a new graph editing application.
 */
public VergilApplication(){
  super();
  JTreePane treepane=new JTreePane("String_Node_Str");
  DesktopFrame frame=new DesktopFrame(this,treepane);
  setApplicationFrame(frame);
  DefaultStoragePolicy storage=new DefaultStoragePolicy();
  setStoragePolicy(storage);
  FileFilter ff=new FileFilter(){
    public boolean accept(    File file){
      if (file.isDirectory()) {
        return true;
      }
 else {
        return GUIUtilities.getFileExtension(file).toLowerCase().equals("String_Node_Str");
      }
    }
    public String getDescription(){
      return "String_Node_Str";
    }
  }
;
  JFileChooser fc;
  fc=storage.getOpenFileChooser();
  fc.addChoosableFileFilter(ff);
  fc.setFileFilter(ff);
  fc=storage.getSaveFileChooser();
  fc.addChoosableFileFilter(ff);
  fc.setFileFilter(ff);
  initializeMenuBar(frame.getJMenuBar());
  initializeToolBar(frame.getJToolBar());
  JPanel toolBarPane=frame.getToolBarPane();
  toolBarPane.setLayout(new FlowLayout(FlowLayout.LEFT,0,0));
  SwingUtilities.invokeLater(new PaletteInitializer());
  Icon icon=getResources().getImageIcon("String_Node_Str");
  Image iconImage=getResources().getImage("String_Node_Str");
  frame.setFrameIcon(icon);
  frame.setIconImage(iconImage);
  setCurrentDocument(null);
  addDocumentListener(new Focuser());
  SwingUtilities.updateComponentTreeUI(treepane);
  Action action=getAction(DefaultActions.NEW);
  javax.swing.Timer timer=new javax.swing.Timer(200,action);
  timer.setRepeats(false);
  timer.start();
  new PtolemyPackage(this);
}