final Properties properties = indexWriter.properties();
additionalProperties.setProperty( Index.PropertyKeys.SIZE, indexSize );
additionalProperties.setProperty( Index.PropertyKeys.MAXDOCSIZE, maxDocSize );
additionalProperties.setProperty( Index.PropertyKeys.OCCURRENCES, numberOfOccurrences );
properties.addAll( additionalProperties );
logger.debug( "Post-merge properties: " + new ConfigurationMap( properties ) );
properties.save( outputBasename + DiskBasedIndex.PROPERTIES_EXTENSION );
}
final PrintStream stats = new PrintStream( new FileOutputStream ( outputBasename + DiskBasedIndex.STATS_EXTENSION ) );
if ( ! metadataOnly ) indexWriter.printStats( stats );