}
    private void expandTree() {      Enumeration nodes = root.depthFirstEnumeration();      while (nodes.hasMoreElements()) {	DefaultMutableTreeNode node = 	  (DefaultMutableTreeNode)nodes.nextElement();	workspace.expandPath(new TreePath(node.getPath()));      }    }