//Does the token already has data in the index ?
if (is == null)
{continue;}
while (is.available() > 0) {
final int storedDocId = is.readInt();
final int storedSection = is.readByte();
final int gidsCount = is.readInt();
//Read (variable) length of node IDs + frequency + offsets
final int length = is.readFixedInt();
final DocumentImpl storedDocument = docs.getDoc(storedDocId);
//Exit if the document is not concerned