docs: public DirectoryEntry requireDirectory(Path pathForException)
        throws NoSuchFileException, NotDirectoryException {
      requireExists(pathForException);
      if (!file().isDirectory()) {
        throw new NotDirectoryException(pathForException.toString());
      }
      return this;
    }