text: public static int checkHeader(DataInput in, String codec, int minVersion, int maxVersion) throws IOException {final int actualHeader = in.readInt();if (actualHeader != CODEC_MAGIC) {throw new CorruptIndexException("codec header mismatch: actual header=" + actualHeader + " vs expected header=" + CODEC_MAGIC, in);}return checkHeaderNoMagic(in, codec, minVersion, maxVersion);}