sorter.setSortColumnIndex(columnIdx); availableFactoriesTableViewer.refresh();
restoreDefaultSettings();
			public void widgetSelected(SelectionEvent e) {				sorter.setSortColumnIndex(columnIdx);				availableFactoriesTableViewer.refresh();			}