sortColumn.getParent().setSortColumn(sortColumn);
sortColumn.getParent().setSortDirection(direction);
}
public int compare(Viewer viewer, Object e1, Object e2) {
ICounterMode mode = settings.getCounterMode();
ICounter c1 = mode.getCounter(CoverageTools.getCoverageInfo(e1));
ICounter c2 = mode.getCounter(CoverageTools.getCoverageInfo(e2));
int res = 0;
switch (settings.getSortColumn()) {
case CoverageView.COLUMN_ELEMENT:
res = elementsorter.compare(viewer, e1, e2);
break;