126127128129130131132133134135136
if (file.length() != length) throw new Exception("length incorrect"); for (int j = 0; j < length; j++) if (file.readByte() != b) throw new Exception("contents incorrect"); file.close(); }
8889909192939495969798