private void checkError() throws IOException {
   if (closed) {
     throw new IOException("Closed");
   }
   file.checkError();
 }