graphComponent.setGraphModel(graphModel);
graphComponent.setNodeLabelRenderer(new OWLClsNodeLabelRenderer());
graphComponent.setNodeRenderer(new OWLClsNodeRenderer(graphComponent.getController(),
graphComponent.getVisualisedObjectManager(),
new OWLClsNodeLabelRenderer(), model));
graphComponent.setEdgeRenderer(new OWLClsEdgeRenderer(graphComponent.getController()));
JPanel panel = new JPanel(new BorderLayout());
// Create the thumbnail splitter that contains the treePanel
// and thumbnail
JSplitPane thumbnailSplitter = new JSplitPane(JSplitPane.VERTICAL_SPLIT, false);