else { System.arraycopy(children, copyFrom, children, copyTo, numMove); System.arraycopy(elements, 0, children, offset, elements.length); } numChildren += delta; }
    public void replace(int offset, int length, Element[] elements)    {      Element[] target = new Element[children.length - length				     + elements.length];      System.arraycopy(children, 0, target, 0, offset);      System.arraycopy(elements, 0, target, offset, elements.length);      System.arraycopy(children, offset + length, target,		       offset + elements.length,		       children.length - offset - length);      children = target;    }