Port: Finish Lucene42 codec