}
//Write (variable) length of node IDs + frequency + offsets
os.writeFixedInt(lenOffset, os.position() - lenOffset - LENGTH_NODE_IDS_FREQ_OFFSETS);
flushWord(currentSection, collectionId, token, os.data());
progress.setValue(count);
if (progress.changed()) {
setChanged();
notifyObservers(progress);
}
}
//TOUNDERSTAND : is this a flush ?