public void addSelectionPath(TreePath value0)
public void addSelectionPath(TreePath path)
  public void addSelectionPath(TreePath value0)  {		if (!isPathSelected(value0))		{			if (isSelectionEmpty())				setSelectionPath(value0);			else			{				TreePath[] temp = new TreePath[selection.length + 1];				System.arraycopy(selection, 0, temp, 0, selection.length);				temp[temp.length - 1] = value0;				selection = new TreePath[temp.length];				System.arraycopy(temp, 0, selection, 0, temp.length);			}			leadPath = value0;			fireValueChanged(new TreeSelectionEvent(this, value0, true,					leadPath, value0));		}  }