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)); }
  public void addSelectionPath(TreePath value0)  {		// TODO  }