public OBSDocIdSetIterator(OBSDocIdSet parent) { this.parent = parent; }
public OBSDocIdSetIterator(OBSDocIdSet parent) { this.parent = parent; }
public OBSDocIdSetIterator(OBSDocIdSet parent) { this.parent = parent; }
public OBSDocIdSetIterator(OBSDocIdSet parent) { this.parent = parent; }