throw new NullPointerException("This BranchElement has no children."); return children[0].getStartOffset();
start = 0; else start = children[0].getStartOffset(); return start;
    public int getStartOffset()    {      if (getElementCount() == 0)        throw new NullPointerException("This BranchElement has no children.");      return children[0].getStartOffset();    }