--- old/src/java.base/share/classes/jdk/internal/jrtfs/JrtDirectoryStream.java	2015-06-23 14:28:57.000000000 +0200
+++ new/src/java.base/share/classes/jdk/internal/jrtfs/JrtDirectoryStream.java	2015-06-23 14:28:57.000000000 +0200
@@ -51,7 +51,7 @@
         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