docs: private static FileHeader readHeader(File file) throws IOException {
          InputStream is =null;
          try {
              is = new BufferedInputStream(new FileInputStream(file));
              InputArchive ia=BinaryInputArchive.getArchive(is);
              FileHeader hdr = new FileHeader();
              hdr.deserialize(ia, "fileheader");
              return hdr;
           } finally {
               try {
                   if (is != null) is.close();
               } catch (IOException e) {
                   LOG.warn("Ignoring exception during close", e);
               }
           }
      }