Port: Lucene40 codecs in progress