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

@@ -144,10 +144,15 @@
     public void checkAccess(Path path, AccessMode... modes) throws IOException {
         toJrtPath(path).checkAccess(modes);
     }
 
     @Override
+    public Path readSymbolicLink(Path link) throws IOException {
+        return toJrtPath(link).readSymbolicLink();
+    }
+
+    @Override
     public void copy(Path src, Path target, CopyOption... options)
         throws IOException
     {
         toJrtPath(src).copy(toJrtPath(target), options);
     }

@@ -167,11 +172,11 @@
     @Override
     @SuppressWarnings("unchecked")
     public <V extends FileAttributeView> V
         getFileAttributeView(Path path, Class<V> type, LinkOption... options)
     {
-        return JrtFileAttributeView.get(toJrtPath(path), type);
+        return JrtFileAttributeView.get(toJrtPath(path), type, options);
     }
 
     @Override
     public FileStore getFileStore(Path path) throws IOException {
         return toJrtPath(path).getFileStore();

@@ -248,11 +253,11 @@
     public <A extends BasicFileAttributes> A
         readAttributes(Path path, Class<A> type, LinkOption... options)
         throws IOException
     {
         if (type == BasicFileAttributes.class || type == JrtFileAttributes.class)
-            return (A)toJrtPath(path).getAttributes();
+            return (A)toJrtPath(path).getAttributes(options);
         return null;
     }
 
     @Override
     public Map<String, Object>