return ((Element) children.lastElement()).getEndOffset();
return children[children.length - 1].getEndOffset();
    public int getEndOffset()    {      return ((Element) children.lastElement()).getEndOffset();    }