// Write out the doc length data into a single file.
FSDataOutputStream out = fs.create(new Path(dataFile), true);
out.writeInt(docnoOffset); // Write out the docno offset.
out.writeInt(maxDocno - docnoOffset); // Write out the collection size.
// Write out length of each document (docnos are sequentially
// ordered, so no need to explicitly keep track).
int n = 0;
for (int i = 1; i <= maxDocno - docnoOffset; i++) {