.name();
}
processesTableViewer.setColumnProperties(columnProperties);
// providers
processesTableViewer.setLabelProvider(new ProcessLabelProvider());
processesTableViewer.setContentProvider(new ProcessContentProvider());
// input
fillProcessesList(processesTableViewer);
processesTableViewer.setInput(TraceBackend.getInstance().getProcesses());