}
}
if ( indexingIsVirtual ) {
final OutputBitStream sizes = new OutputBitStream( batchBasename( batch, basename, batchDir ) + DiskBasedIndex.SIZES_EXTENSION );
for ( int i = 0; i < currSize.length; i++ ) sizes.writeGamma( currSize[ i ] );
sizes.close();
}
globCounts.close();
frequencies.close();