}
});
// TODO open listener needs a double click, single click should be enough
// because there is already a selection below the mouse
typeTree.addOpenListener(new IOpenListener() {
public void open(OpenEvent event) {
StructuredSelection selection = (StructuredSelection) event.getSelection();
annotateAndClose((Type) selection.getFirstElement());