import org.apache.lucene.codecs.Codec;

class Smoke {
    public static void main(String[] args) {
        System.out.println(Codec.availableCodecs());
    }
}