if ( building ) {
final String name = new File( builder.basename() ).getName();
final String[] collectionName = new String[ scan[ 0 ].batch ];
for ( int i = scan[ 0 ].batch; i-- != 0; ) collectionName[ i ] = name + "@" + i + DocumentCollection.DEFAULT_EXTENSION;
BinIO.storeObject( new ConcatenatedDocumentCollection( collectionName ), builder.basename() + DocumentCollection.DEFAULT_EXTENSION );
}
if ( map != null && documentPointer != map.length ) LOGGER.warn( "The document sequence contains " + documentPointer + " documents, but the map contains "
+ map.length + " integers" );
}