src/java.base/share/classes/jdk/internal/jrtfs/JrtFileSystemProvider.java
changeset 55070 d850d0f41c72
parent 55057 63ab89cc3e69
child 55107 931a4d5367a6
--- a/src/java.base/share/classes/jdk/internal/jrtfs/JrtFileSystemProvider.java	Tue May 28 21:31:07 2019 +0200
+++ b/src/java.base/share/classes/jdk/internal/jrtfs/JrtFileSystemProvider.java	Tue May 28 16:51:28 2019 -0300
@@ -190,10 +190,10 @@
             throw new IllegalArgumentException("Fragment component present");
         }
         String path = uri.getPath();
-        if (path == null || path.charAt(0) != '/' || path.contains("..")) {
+        if (path == null || path.charAt(0) != '/') {
             throw new IllegalArgumentException("Invalid path component");
         }
-        return getTheFileSystem().getPath("/modules" + path);
+        return getTheFileSystem().getPath(path);
     }
 
     private FileSystem getTheFileSystem() {