@Override
  public void close() throws IOException {
    if (storage.isOpen()) {
      flush();
      storage.close();
      header = null;//help GC unmap pages sooner
    }
  }
@Override
  public void close()