navTreeViewer.getControl().setLayoutData(gridData);
final NavContentProvider contentProvider = new NavContentProvider();
navTreeViewer.setContentProvider(contentProvider);
navTreeViewer.setLabelProvider(new NavLabelProvider(contentProvider));
navTreeViewer.setInput(examplePaths);
navTreeViewer.addDoubleClickListener(new IDoubleClickListener() {
@Override
public void doubleClick(DoubleClickEvent event) {
TreeSelection selection = (TreeSelection) event.getSelection();
for (TreePath path : selection.getPaths()) {