// Set up the type tree. Use simple DefaultTreeModel.
DefaultMutableTreeNode root = new DefaultMutableTreeNode("<html><b>No CAS!</b></html>");
DefaultTreeModel treeModel = new DefaultTreeModel(root);
this.typeTree = new JTree(treeModel);
this.typeTree.addTreeSelectionListener(new TypeTreeSelectionListener());
TreeSelectionModel treeSelectionModel = new DefaultTreeSelectionModel();
treeSelectionModel.setSelectionMode(TreeSelectionModel.SINGLE_TREE_SELECTION);
this.typeTree.setSelectionModel(treeSelectionModel);
JScrollPane treePane = new JScrollPane(this.typeTree);
contentPane.setLeftComponent(treePane);
DefaultTreeCellRenderer cellRenderer = new DefaultTreeCellRenderer();
cellRenderer.setLeafIcon(null);