Port: Lucene41 codecs