throw new NullPointerException("This BranchElement has no children."); return children[children.length - 1].getEndOffset();
end = getLength(); else end = children[children.length - 1].getEndOffset(); return end;
    public int getEndOffset()    {      if (getElementCount() == 0)        throw new NullPointerException("This BranchElement has no children.");      return children[children.length - 1].getEndOffset();    }