thumbnailSplitter.add(new DefaultThumbnailView(graphComponent), JSplitPane.BOTTOM);
JSplitPane splitter = new JSplitPane(JSplitPane.HORIZONTAL_SPLIT, false);
splitter.add(graphComponent, JSplitPane.RIGHT);
splitter.add(thumbnailSplitter, JSplitPane.LEFT);
panel.add(splitter);
OWLInstancePopupProvider popupProvider = new OWLInstancePopupProvider("Asserted", model,
model.getSlot(Model.Slot.DIRECT_SUPERCLASSES));
graphComponent.setPopupProvider(popupProvider);
createPopupMenu();
setupListeners();