Program: 111548
Project: 111548
Buggy source:
public ServerDialog(OptionsDialog options_,String defaultServerName,CConn cc_){
  super(true);
  cc=cc_;
  setDefaultCloseOperation(javax.swing.WindowConstants.DISPOSE_ON_CLOSE);
  setResizable(false);
  setSize(new Dimension(340,135));
  setTitle("String_Node_Str");
  options=options_;
  getContentPane().setLayout(new GridBagLayout());
  JLabel serverLabel=new JLabel("String_Node_Str",JLabel.RIGHT);
  if (options.defaults.getString("String_Node_Str") != null) {
    server=new JComboBox(options.defaults.getString("String_Node_Str").split("String_Node_Str"));
  }
 else {
    server=new JComboBox();
  }
  if (UIManager.getLookAndFeel().getID() == "String_Node_Str") {
    server.setBorder(BorderFactory.createCompoundBorder(server.getBorder(),BorderFactory.createEmptyBorder(0,2,0,0)));
  }
 else {
    ComboBoxEditor editor=server.getEditor();
    JTextField jtf=(JTextField)editor.getEditorComponent();
    jtf.setBorder(new CompoundBorder(jtf.getBorder(),new EmptyBorder(0,2,0,0)));
  }
  server.setEditable(true);
  editor=server.getEditor();
  JPanel topPanel=new JPanel(new GridBagLayout());
  addGBComponent(new JLabel(cc.logo),topPanel,0,0,1,1,0,0,0,1,GridBagConstraints.HORIZONTAL,GridBagConstraints.LINE_START,new Insets(5,5,5,15));
  addGBComponent(serverLabel,topPanel,1,0,1,1,0,0,0,1,GridBagConstraints.HORIZONTAL,GridBagConstraints.LINE_END,new Insets(10,0,5,5));
  addGBComponent(server,topPanel,2,0,1,1,0,0,1,1,GridBagConstraints.HORIZONTAL,GridBagConstraints.CENTER,new Insets(10,0,5,40));
  optionsButton=new JButton("String_Node_Str");
  aboutButton=new JButton("String_Node_Str");
  okButton=new JButton("String_Node_Str");
  cancelButton=new JButton("String_Node_Str");
  JPanel buttonPanel=new JPanel(new GridBagLayout());
  buttonPanel.setPreferredSize(new Dimension(340,40));
  addGBComponent(aboutButton,buttonPanel,0,3,1,1,0,0,0.2,1,GridBagConstraints.HORIZONTAL,GridBagConstraints.CENTER,new Insets(0,5,0,5));
  addGBComponent(optionsButton,buttonPanel,1,3,1,1,0,0,0,1,GridBagConstraints.HORIZONTAL,GridBagConstraints.CENTER,new Insets(0,5,0,5));
  addGBComponent(okButton,buttonPanel,2,3,1,1,0,0,0.8,1,GridBagConstraints.HORIZONTAL,GridBagConstraints.CENTER,new Insets(0,5,0,5));
  addGBComponent(cancelButton,buttonPanel,3,3,1,1,0,0,0.5,1,GridBagConstraints.HORIZONTAL,GridBagConstraints.CENTER,new Insets(0,5,0,5));
  GridBagConstraints gbc=new GridBagConstraints();
  gbc.anchor=GridBagConstraints.LINE_START;
  gbc.fill=GridBagConstraints.BOTH;
  gbc.gridwidth=GridBagConstraints.REMAINDER;
  gbc.gridheight=1;
  gbc.insets=new Insets(0,0,0,0);
  gbc.ipadx=0;
  gbc.ipady=0;
  gbc.weightx=1;
  gbc.weighty=1;
  getContentPane().add(topPanel,gbc);
  getContentPane().add(buttonPanel);
  server.addActionListener(this);
  optionsButton.addActionListener(this);
  aboutButton.addActionListener(this);
  okButton.addActionListener(this);
  cancelButton.addActionListener(this);
  pack();
}

Fixed version (ground truth):
public ServerDialog(OptionsDialog options_,String defaultServerName,CConn cc_){
  super(true);
  cc=cc_;
  setDefaultCloseOperation(DO_NOTHING_ON_CLOSE);
  setResizable(false);
  setSize(new Dimension(340,135));
  setTitle("String_Node_Str");
  addWindowListener(new WindowAdapter(){
    public void windowClosing(    WindowEvent e){
      if (cc.viewer.firstApplet && cc.viewport == null) {
        System.exit(1);
      }
 else {
        ok=false;
        endDialog();
      }
    }
  }
);
  options=options_;
  getContentPane().setLayout(new GridBagLayout());
  JLabel serverLabel=new JLabel("String_Node_Str",JLabel.RIGHT);
  if (options.defaults.getString("String_Node_Str") != null) {
    server=new JComboBox(options.defaults.getString("String_Node_Str").split("String_Node_Str"));
  }
 else {
    server=new JComboBox();
  }
  if (UIManager.getLookAndFeel().getID() == "String_Node_Str") {
    server.setBorder(BorderFactory.createCompoundBorder(server.getBorder(),BorderFactory.createEmptyBorder(0,2,0,0)));
  }
 else {
    ComboBoxEditor editor=server.getEditor();
    JTextField jtf=(JTextField)editor.getEditorComponent();
    jtf.setBorder(new CompoundBorder(jtf.getBorder(),new EmptyBorder(0,2,0,0)));
  }
  server.setEditable(true);
  editor=server.getEditor();
  JPanel topPanel=new JPanel(new GridBagLayout());
  addGBComponent(new JLabel(cc.logo),topPanel,0,0,1,1,0,0,0,1,GridBagConstraints.HORIZONTAL,GridBagConstraints.LINE_START,new Insets(5,5,5,15));
  addGBComponent(serverLabel,topPanel,1,0,1,1,0,0,0,1,GridBagConstraints.HORIZONTAL,GridBagConstraints.LINE_END,new Insets(10,0,5,5));
  addGBComponent(server,topPanel,2,0,1,1,0,0,1,1,GridBagConstraints.HORIZONTAL,GridBagConstraints.CENTER,new Insets(10,0,5,40));
  optionsButton=new JButton("String_Node_Str");
  aboutButton=new JButton("String_Node_Str");
  okButton=new JButton("String_Node_Str");
  cancelButton=new JButton("String_Node_Str");
  JPanel buttonPanel=new JPanel(new GridBagLayout());
  buttonPanel.setPreferredSize(new Dimension(340,40));
  addGBComponent(aboutButton,buttonPanel,0,3,1,1,0,0,0.2,1,GridBagConstraints.HORIZONTAL,GridBagConstraints.CENTER,new Insets(0,5,0,5));
  addGBComponent(optionsButton,buttonPanel,1,3,1,1,0,0,0,1,GridBagConstraints.HORIZONTAL,GridBagConstraints.CENTER,new Insets(0,5,0,5));
  addGBComponent(okButton,buttonPanel,2,3,1,1,0,0,0.8,1,GridBagConstraints.HORIZONTAL,GridBagConstraints.CENTER,new Insets(0,5,0,5));
  addGBComponent(cancelButton,buttonPanel,3,3,1,1,0,0,0.5,1,GridBagConstraints.HORIZONTAL,GridBagConstraints.CENTER,new Insets(0,5,0,5));
  GridBagConstraints gbc=new GridBagConstraints();
  gbc.anchor=GridBagConstraints.LINE_START;
  gbc.fill=GridBagConstraints.BOTH;
  gbc.gridwidth=GridBagConstraints.REMAINDER;
  gbc.gridheight=1;
  gbc.insets=new Insets(0,0,0,0);
  gbc.ipadx=0;
  gbc.ipady=0;
  gbc.weightx=1;
  gbc.weighty=1;
  getContentPane().add(topPanel,gbc);
  getContentPane().add(buttonPanel);
  server.addActionListener(this);
  optionsButton.addActionListener(this);
  aboutButton.addActionListener(this);
  okButton.addActionListener(this);
  cancelButton.addActionListener(this);
  pack();
}