Program: 73632
Project: 73632
Buggy source:
/** 
 * Construct the rename model frame. 
 * @param model The model to be renamed. 
 * @param sourceFrame The source frame from which opened this frame.
 */
public RenameModelFrame(NamedObj model,ActorGraphDBFrame sourceFrame){
  super("String_Node_Str");
  setDefaultCloseOperation(DISPOSE_ON_CLOSE);
  _model=model;
  _sourceFrame=sourceFrame;
  addWindowListener(new WindowListener(){
    @Override public void windowOpened(    WindowEvent e){
      _sourceFrame.setEnabled(false);
    }
    @Override public void windowIconified(    WindowEvent e){
    }
    @Override public void windowDeiconified(    WindowEvent e){
    }
    @Override public void windowDeactivated(    WindowEvent e){
    }
    @Override public void windowClosing(    WindowEvent e){
      _sourceFrame.setEnabled(true);
    }
    @Override public void windowClosed(    WindowEvent e){
      _sourceFrame.setEnabled(true);
    }
    @Override public void windowActivated(    WindowEvent e){
    }
  }
);
  setLayout(new BoxLayout(this.getContentPane(),BoxLayout.Y_AXIS));
  _topPanel=new JPanel();
  _bottomPanel=new JPanel();
  JLabel newNameLabel=new JLabel("String_Node_Str");
  newNameLabel.setAlignmentX(LEFT_ALIGNMENT);
  _topPanel.setAlignmentX(CENTER_ALIGNMENT);
  _bottomPanel.setAlignmentX(CENTER_ALIGNMENT);
  _topPanel.setAlignmentY(TOP_ALIGNMENT);
  _bottomPanel.setAlignmentY(TOP_ALIGNMENT);
  _topPanel.setBorder(BorderFactory.createEmptyBorder());
  _newNameTextField=new JTextField();
  _newNameTextField.setPreferredSize(new Dimension(100,20));
  _closeButton=new JButton("String_Node_Str");
  _updateButton=new JButton("String_Node_Str");
  _updateButton.addActionListener(new ActionListener(){
    public void actionPerformed(    ActionEvent e){
      try {
        _update();
      }
 catch (      IllegalNameException e1) {
        JOptionPane.showMessageDialog(RenameModelFrame.this,e1.getMessage());
      }
    }
  }
);
  _updateButton.setMnemonic(KeyEvent.VK_ENTER);
  _closeButton.setMnemonic(KeyEvent.VK_ESCAPE);
  _updateButton.setActionCommand("String_Node_Str");
  _closeButton.setActionCommand("String_Node_Str");
  _updateButton.setHorizontalTextPosition(SwingConstants.CENTER);
  _closeButton.setHorizontalTextPosition(SwingConstants.CENTER);
  _closeButton.addActionListener(new ActionListener(){
    public void actionPerformed(    ActionEvent event){
      dispose();
    }
  }
);
  _topPanel.add(newNameLabel);
  _topPanel.add(_newNameTextField);
  _bottomPanel.add(_updateButton);
  _bottomPanel.add(_closeButton);
  add(_topPanel);
  add(_bottomPanel);
  setResizable(false);
  validate();
  repaint();
}

Fixed version (ground truth):
/** 
 * Construct the rename model frame. 
 * @param model The model to be renamed. 
 * @param sourceFrame The source frame from which opened this frame.
 */
public RenameModelFrame(NamedObj model,ActorGraphDBFrame sourceFrame){
  super("String_Node_Str");
  setDefaultCloseOperation(DISPOSE_ON_CLOSE);
  _model=model;
  _sourceFrame=sourceFrame;
  addWindowListener(new WindowListener(){
    @Override public void windowOpened(    WindowEvent e){
      _sourceFrame.setEnabled(false);
    }
    @Override public void windowIconified(    WindowEvent e){
    }
    @Override public void windowDeiconified(    WindowEvent e){
    }
    @Override public void windowDeactivated(    WindowEvent e){
    }
    @Override public void windowClosing(    WindowEvent e){
    }
    @Override public void windowClosed(    WindowEvent e){
      _sourceFrame.setEnabled(true);
      _sourceFrame.toFront();
    }
    @Override public void windowActivated(    WindowEvent e){
    }
  }
);
  setLayout(new BoxLayout(this.getContentPane(),BoxLayout.Y_AXIS));
  _topPanel=new JPanel();
  _bottomPanel=new JPanel();
  JLabel newNameLabel=new JLabel("String_Node_Str");
  newNameLabel.setAlignmentX(LEFT_ALIGNMENT);
  _topPanel.setAlignmentX(CENTER_ALIGNMENT);
  _bottomPanel.setAlignmentX(CENTER_ALIGNMENT);
  _topPanel.setAlignmentY(TOP_ALIGNMENT);
  _bottomPanel.setAlignmentY(TOP_ALIGNMENT);
  _topPanel.setBorder(BorderFactory.createEmptyBorder());
  _newNameTextField=new JTextField();
  _newNameTextField.setPreferredSize(new Dimension(100,20));
  _closeButton=new JButton("String_Node_Str");
  _updateButton=new JButton("String_Node_Str");
  _updateButton.addActionListener(new ActionListener(){
    public void actionPerformed(    ActionEvent e){
      try {
        _update();
      }
 catch (      IllegalNameException e1) {
        JOptionPane.showMessageDialog(RenameModelFrame.this,e1.getMessage());
      }
    }
  }
);
  _updateButton.setMnemonic(KeyEvent.VK_ENTER);
  _closeButton.setMnemonic(KeyEvent.VK_ESCAPE);
  _updateButton.setActionCommand("String_Node_Str");
  _closeButton.setActionCommand("String_Node_Str");
  _updateButton.setHorizontalTextPosition(SwingConstants.CENTER);
  _closeButton.setHorizontalTextPosition(SwingConstants.CENTER);
  _closeButton.addActionListener(new ActionListener(){
    public void actionPerformed(    ActionEvent event){
      dispose();
    }
  }
);
  _topPanel.add(newNameLabel);
  _topPanel.add(_newNameTextField);
  _bottomPanel.add(_updateButton);
  _bottomPanel.add(_closeButton);
  add(_topPanel);
  add(_bottomPanel);
  setResizable(false);
  validate();
  repaint();
}