columnProperties[column.ordinal()] = column.name();
}
nodesTableViewer.setColumnProperties(columnProperties);
// providers
nodesTableViewer.setLabelProvider(new NodeLabelProvider());
nodesTableViewer.setContentProvider(new NodeContentProvider());
// input
nodesTableViewer.setInput(TraceBackend.getInstance());