end = children[children.length - 1].getEndOffset(); return end;
endOffset = children[children.length - 1].getEndOffset();  return endOffset;
    public int getEndOffset()    {      int end = 0;      if (getElementCount() == 0)        end = getLength(); // FIXME: That ain't correct, fix it.      else        end = children[children.length - 1].getEndOffset();      return end;    }