records[i][1] = toolboxSpis.get(i);
}
AdapterListModel model = new AdapterListModel(toolboxSpis);
operatorsTable = new JTable(model);
TableColumn checkColumn = operatorsTable.getColumnModel().getColumn(0);
<BUG>checkColumn.setMaxWidth(CHECK_COLUMN_WIDTH);
checkColumn.setPreferredWidth(CHECK_COLUMN_WIDTH);
checkColumn.setResizable(false);
return operatorsTable;</BUG>
}

records[i][1] = toolboxSpis.get(i);
}
AdapterListModel model = new AdapterListModel(toolboxSpis);
operatorsTable = new JTable(model);
TableColumn checkColumn = operatorsTable.getColumnModel().getColumn(0);
int checkColumnWidth = 24;
checkColumn.setMaxWidth(checkColumnWidth);
checkColumn.setPreferredWidth(checkColumnWidth);
checkColumn.setResizable(false);
TableColumn aliasColumn = operatorsTable.getColumnModel().getColumn(1);
aliasColumn.setPreferredWidth(10 * checkColumnWidth);
return operatorsTable;
}
