public void replace(int offset, int length, Element[] elems)
public void replace(int offset, int length, Element[] elements)
    public void replace(int offset, int length, Element[] elems)    {      for (int index = 0; index < length; ++index)	children.removeElementAt(offset);      for (int index = 0; index < elems.length; ++index)	children.add(offset + index, elems[index]);    }