if ((event.getPropertyName()).equals("rootVisible")) { validCachedPreferredSize = false; updateCurrentVisiblePath(); tree.revalidate(); tree.repaint(); }
    public void propertyChange(PropertyChangeEvent event)    {      // TODO: What should be done here, if anything?    }