Port: Finish Lucene40 codecs