Program: 26438
Project: 26438
Buggy source:
/** 
 * Creates new form PanelRightUi
 */
public PanelRightUi(){
  panelRightModel=new PanelRightModel(this);
  initComponents();
  int width=60;
  tableMessages.getColumnModel().getColumn(0).setMaxWidth(40);
  tableMessages.getColumnModel().getColumn(0).setMinWidth(40);
  tableMessages.getColumnModel().getColumn(1).setMaxWidth(60);
  tableMessages.getColumnModel().getColumn(1).setMinWidth(60);
  tableMessages.getColumnModel().getColumn(5).setMaxWidth(width);
  tableMessages.getColumnModel().getColumn(5).setMinWidth(width);
  tableMessages.getColumnModel().getColumn(6).setMaxWidth(width);
  tableMessages.getColumnModel().getColumn(6).setMinWidth(width);
  tableMessages.getColumnModel().getColumn(7).setMaxWidth(width);
  tableMessages.getColumnModel().getColumn(7).setMinWidth(width);
  tableMessages.getColumnModel().getColumn(8).setMaxWidth(width);
  tableMessages.getColumnModel().getColumn(8).setMinWidth(width);
  tableMessages.setAutoCreateRowSorter(true);
  UiUtil.restoreTableDimensions(tableMessages,this);
  UiUtil.restoreSplitLocation(jSplitPane1,this);
  ListSelectionModel lsm=tableMessages.getSelectionModel();
  lsm.addListSelectionListener(new ListSelectionListener(){
    @Override public void valueChanged(    ListSelectionEvent e){
      if (e.getValueIsAdjusting())       return;
      ListSelectionModel lsm=(ListSelectionModel)e.getSource();
      if (lsm.isSelectionEmpty()) {
      }
 else {
        currentSelectedRow=lsm.getMinSelectionIndex();
        viewHttpMessage(currentSelectedRow);
        tableMessages.getSelectionModel().setSelectionInterval(currentSelectedRow,currentSelectedRow);
      }
    }
  }
);
}

Fixed version (ground truth):
/** 
 * Creates new form PanelRightUi
 */
public PanelRightUi(){
  panelRightModel=new PanelRightModel(this);
  initComponents();
  int width=60;
  tableMessages.getColumnModel().getColumn(0).setMaxWidth(40);
  tableMessages.getColumnModel().getColumn(0).setMinWidth(40);
  tableMessages.getColumnModel().getColumn(1).setMaxWidth(60);
  tableMessages.getColumnModel().getColumn(1).setMinWidth(60);
  tableMessages.getColumnModel().getColumn(5).setMaxWidth(width);
  tableMessages.getColumnModel().getColumn(5).setMinWidth(width);
  tableMessages.getColumnModel().getColumn(6).setMaxWidth(width);
  tableMessages.getColumnModel().getColumn(6).setMinWidth(width);
  tableMessages.getColumnModel().getColumn(7).setMaxWidth(width);
  tableMessages.getColumnModel().getColumn(7).setMinWidth(width);
  tableMessages.getColumnModel().getColumn(8).setMaxWidth(width);
  tableMessages.getColumnModel().getColumn(8).setMinWidth(width);
  tableMessages.setAutoCreateRowSorter(true);
  UiUtil.restoreTableDimensions(tableMessages,this);
  UiUtil.restoreSplitLocation(jSplitPane1,this);
  ListSelectionModel lsm=tableMessages.getSelectionModel();
  lsm.addListSelectionListener(new ListSelectionListener(){
    @Override public void valueChanged(    ListSelectionEvent e){
      if (e.getValueIsAdjusting())       return;
      ListSelectionModel lsm=(ListSelectionModel)e.getSource();
      if (lsm.isSelectionEmpty()) {
      }
 else {
        int newSelectedRow=lsm.getMinSelectionIndex();
        if (newSelectedRow != currentSelectedRow) {
          viewHttpMessage(currentSelectedRow);
        }
        currentSelectedRow=newSelectedRow;
        tableMessages.getSelectionModel().setSelectionInterval(currentSelectedRow,currentSelectedRow);
      }
    }
  }
);
}