code: private INodeFileUnderConstruction checkLease(String src, String holder)
      throws IOException {
      INodeFile file = dir.getFileINode(src);
      return checkLease(src, holder, file);
    }
docs: make sure that we still have the lease on this file.