// Create the thumbnail splitter that contains the treePanel
// and thumbnail
JSplitPane thumbnailSplitter = new JSplitPane(JSplitPane.VERTICAL_SPLIT, false);
thumbnailSplitter.add(treePanel, JSplitPane.TOP);
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,