code: public void logCloseFile(String path, INodeFile newNode) {
      CloseOp op = CloseOp.getInstance();
      op.set(newNode.getId(),
          path, 
          newNode.getReplication(), 
          newNode.getModificationTime(),
          newNode.getAccessTime(),
          newNode.getPreferredBlockSize(),
          newNode.getBlocks(),
          newNode.getPermissionStatus(),
          null,
          null);
      logEdit(op);
    }
docs: Add close lease record to edit log.