Support for testing {@link org.apache.lucene.codecs.lucene40.Lucene40PostingsFormat}.