if (value0 != null) { TreePath v0 = null; for (int i = 0; i < value0.length; i++) { v0 = value0[i]; if (!isPathSelected(v0)) { if (isSelectionEmpty()) setSelectionPath(v0); else { TreePath[] temp = new TreePath[selection.length + 1]; System.arraycopy(selection, 0, temp, 0, selection.length); temp[temp.length - 1] = v0; selection = new TreePath[temp.length]; System.arraycopy(temp, 0, selection, 0, temp.length); } leadPath = value0[value0.length - 1]; fireValueChanged(new TreeSelectionEvent(this, v0, true, leadPath, value0[0])); } } }
  public void addSelectionPaths(TreePath[] value0)  {		// TODO  }