Placeholder for Lucene40Codec