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

@@ -49,11 +49,11 @@
         throws IOException
     {
         this.jrtfs = jrtPath.getFileSystem();
         this.path = jrtPath.getResolvedPath();
         // sanity check
-        if (!jrtfs.isDirectory(path))
+        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;