reloadRoot = true;
    void setLeavesViews(Set nodes, TreeImageSet parent)    {        DefaultTreeModel dtm = (DefaultTreeModel) treeDisplay.getModel();        parent.removeAllChildren();        parent.setChildrenLoaded(Boolean.TRUE);        if (nodes.size() != 0) {            Iterator i = nodes.iterator();            while (i.hasNext())                parent.addChildDisplay((TreeImageDisplay) i.next()) ;            buildTreeNode(parent, sorter.sort(nodes), dtm);        } else buildEmptyNode(parent);        dtm.reload(parent);        reloadRoot = true;        if (!model.isMainTree()) loadGoIntoTree();    }