ContextHelp.setHelp(parent, ContextHelp.COVERAGE_VIEW);
tree = new Tree(parent, SWT.MULTI);
tree.setHeaderVisible(true);
tree.setLinesVisible(true);
int[] widths = settings.getColumnWidths();
column0 = new TreeColumn(tree, SWT.NONE);
column0.setWidth(widths[0]);
sorter.addColumn(column0, COLUMN_ELEMENT);
column1 = new TreeColumn(tree, SWT.RIGHT);
column1.setWidth(widths[1]);
sorter.addColumn(column1, COLUMN_RATIO);
column2 = new TreeColumn(tree, SWT.RIGHT);
column2.setWidth(widths[2]);
sorter.addColumn(column2, COLUMN_COVERED);
column3 = new TreeColumn(tree, SWT.RIGHT);
column3.setWidth(widths[3]);
sorter.addColumn(column3, COLUMN_TOTAL);
updateColumnHeaders();
TreeColumn sortColumn = null;
switch (settings.getSortColumn()) {
case COLUMN_ELEMENT:
sortColumn = column0;
break;
case COLUMN_RATIO: