{  }
{ Enumeration expanded = tree.getExpandedDescendants(path); while (expanded.hasMoreElements()) treeState.setExpandedState(((TreePath) expanded.nextElement()), true); }
	protected void updateExpandedDescendants(TreePath path)	{		// FIXME: not implemented	}