Specialise the default codec to reuse Lucene41 files in the common case.

Closes #2799