code: public TreeElement[] getChildren()
      {
          if (_children == null)
              return EMPTY_TREE;
          TreeElement results[] = new TreeElement[_children.size()];
          return (TreeElement[]) _children.toArray(results);
      }
docs: Return the set of child nodes for this node.
  @return the child node array