Program: 50559
Project: 50559
Buggy source:
private void addColumnWidthListeners(){
  TableColumnModel mtcm=maltTable.getColumnModel();
  TableColumnModel htcm=hopsTable.getColumnModel();
  PropertyChangeListener mpcl=new PropertyChangeListener(){
    private int columnCount=maltTable.getColumnCount();
    private int[] width=new int[columnCount];
    public void propertyChange(    PropertyChangeEvent evt){
      if (evt.getPropertyName().equals("String_Node_Str")) {
        TableColumnModel tcm=maltTable.getColumnModel();
        TableColumnModel tcmt=tblMaltTotals.getColumnModel();
        int colCount=tcm.getColumnCount();
        for (int i=0; i < colCount; i++) {
          tcmt.getColumn(i).setPreferredWidth(tcm.getColumn(i).getPreferredWidth());
        }
      }
    }
  }
;
  PropertyChangeListener hpcl=new PropertyChangeListener(){
    private int columnCount=hopsTable.getColumnCount();
    private int[] width=new int[columnCount];
    public void propertyChange(    PropertyChangeEvent evt){
      if (evt.getPropertyName().equals("String_Node_Str")) {
        TableColumnModel tcm=hopsTable.getColumnModel();
        TableColumnModel tcmt=tblHopsTotals.getColumnModel();
        int columnCount=tcm.getColumnCount();
        for (int i=0; i < columnCount; i++) {
          tcmt.getColumn(i).setPreferredWidth(tcm.getColumn(i).getPreferredWidth());
        }
      }
    }
  }
;
  for (Enumeration e=mtcm.getColumns(); e.hasMoreElements(); ) {
    TableColumn tc=(TableColumn)e.nextElement();
    tc.addPropertyChangeListener(mpcl);
  }
  for (Enumeration e=htcm.getColumns(); e.hasMoreElements(); ) {
    TableColumn tc=(TableColumn)e.nextElement();
    tc.addPropertyChangeListener(hpcl);
  }
}

Fixed version (ground truth):
private void addColumnWidthListeners(){
  TableColumnModel mtcm=maltTable.getColumnModel();
  TableColumnModel htcm=hopsTable.getColumnModel();
  PropertyChangeListener mpcl=new PropertyChangeListener(){
    private int columnCount=maltTable.getColumnCount();
    private int[] width=new int[columnCount];
    public void propertyChange(    PropertyChangeEvent evt){
      if (evt.getPropertyName().equals("String_Node_Str")) {
        TableColumnModel tcm=maltTable.getColumnModel();
        TableColumnModel tcmt=tblMaltTotals.getColumnModel();
        int colCount=tcm.getColumnCount();
        for (int i=0; i < colCount; i++) {
          tcmt.getColumn(i).setPreferredWidth(tcm.getColumn(i).getPreferredWidth());
        }
      }
    }
  }
;
  PropertyChangeListener hpcl=new PropertyChangeListener(){
    private int columnCount=hopsTable.getColumnCount();
    private int[] width=new int[columnCount];
    public void propertyChange(    PropertyChangeEvent evt){
      if (evt.getPropertyName().equals("String_Node_Str")) {
        TableColumnModel tcm=hopsTable.getColumnModel();
        TableColumnModel tcmt=tblHopsTotals.getColumnModel();
        int colCount=tcm.getColumnCount();
        for (int i=0; i < colCount; i++) {
          tcmt.getColumn(i).setPreferredWidth(tcm.getColumn(i).getPreferredWidth());
        }
      }
    }
  }
;
  for (Enumeration e=mtcm.getColumns(); e.hasMoreElements(); ) {
    TableColumn tc=(TableColumn)e.nextElement();
    tc.addPropertyChangeListener(mpcl);
  }
  for (Enumeration e=htcm.getColumns(); e.hasMoreElements(); ) {
    TableColumn tc=(TableColumn)e.nextElement();
    tc.addPropertyChangeListener(hpcl);
  }
}