}
nodesTableViewer.setColumnProperties(columnProperties);
// providers
nodesTableViewer.setLabelProvider(new NodeLabelProvider());
nodesTableViewer.setContentProvider(new NodeContentProvider());
// input
nodesTableViewer.setInput(TraceBackend.getInstance());
// editors