getInteger(columnWidthKey.toString()).intValue());
final String columnName = column;
// This listen sets the sortter on the viewer to a new sorter
// based on the column name. The act of provided a newly created
// sorter forces the view to resort.
tableColumn.addSelectionListener(new SelectionAdapter() {
public void widgetSelected(SelectionEvent e) {
tableViewer.setSorter(
new PoliciesSorter(columnName));
}
});