src/java.base/share/classes/jdk/internal/jrtfs/JrtDirectoryStream.java

*** 49,59 ****
          throws IOException
      {
          this.jrtfs = jrtPath.getFileSystem();
          this.path = jrtPath.getResolvedPath();
          // sanity check
!         if (!jrtfs.isDirectory(path))
              throw new NotDirectoryException(jrtPath.toString());
  
          // absolute path and does not have funky chars in front like /./java.base
          if (jrtPath.isAbsolute() && (path.length == jrtPath.getPathLength())) {
              childPrefix = null;
--- 49,59 ----
          throws IOException
      {
          this.jrtfs = jrtPath.getFileSystem();
          this.path = jrtPath.getResolvedPath();
          // sanity check
!         if (!jrtfs.isDirectory(path, true))
              throw new NotDirectoryException(jrtPath.toString());
  
          // absolute path and does not have funky chars in front like /./java.base
          if (jrtPath.isAbsolute() && (path.length == jrtPath.getPathLength())) {
              childPrefix = null;