addCard(new LoggingPanel());
}
JTree tree = new JTree(rootNode);
tree.setBorder(BorderFactory.createEmptyBorder(5, 5, 5, 5));
tree.setRootVisible(false);
tree.addTreeSelectionListener(new TreeSelectionListener() {
public void valueChanged(TreeSelectionEvent tse) {
TreeCard node = (TreeCard) ((DefaultMutableTreeNode) ((TreePath) tse
.getPath()).getLastPathComponent()).getUserObject();
if (node.nodePanel != null) {
String cardLayoutID = node.ID;