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);}

public static int CheckHeader(DataInput @in, string codec, int minVersion, int maxVersion){int actualHeader = @in.ReadInt32();if (actualHeader != CODEC_MAGIC){throw new System.IO.IOException("codec header mismatch: actual header=" + actualHeader + " vs expected header=" + CODEC_MAGIC + " (resource: " + @in + ")");}return CheckHeaderNoMagic(@in, codec, minVersion, maxVersion);}
