sortColumn.getParent().setSortColumn(sortColumn);
sortColumn.getParent().setSortDirection(reverse ? SWT.DOWN : SWT.UP);
}
public int compare(Viewer viewer, Object e1, Object e2) {
CounterEntity counters = settings.getCounters();
ICounter c1 = CoverageTools.getCoverageInfo(e1).getCounter(counters);
ICounter c2 = CoverageTools.getCoverageInfo(e2).getCounter(counters);
int res = 0;
switch (settings.getSortColumn()) {
case CoverageView.COLUMN_ELEMENT: