return ((Element) children.firstElement()).getStartOffset();
return children[0].getStartOffset();
    public int getStartOffset()    {      return ((Element) children.firstElement()).getStartOffset();    }