for( int i = invNonTermPerm.length; i-- != 0; ) invNonTermPerm[ nonTermPerm[ i ] ] = i;
}
File newDocumentsFile = File.createTempFile( SimpleCompressedDocumentCollection.class.getSimpleName(), "temp", new File( basename.toString() ).getParentFile() );
OutputBitStream newDocumentsObs = new OutputBitStream( newDocumentsFile );
documentsIbs.position( 0 );
for( int i = (int)collection.documents; i-- != 0; ) {
readSelfDelimitedUtf8String( documentsIbs, s ); // Skip URI
SimpleCompressedDocumentCollectionBuilder.writeSelfDelimitedUtf8String( newDocumentsObs, s );
readSelfDelimitedUtf8String( documentsIbs, s ); // Skip title
SimpleCompressedDocumentCollectionBuilder.writeSelfDelimitedUtf8String( newDocumentsObs, s );