--- old/src/jdk.zipfs/share/classes/jdk/nio/zipfs/ZipFileAttributes.java	2019-05-21 17:13:14.361204000 +0200
+++ new/src/jdk.zipfs/share/classes/jdk/nio/zipfs/ZipFileAttributes.java	2019-05-21 17:13:13.052235600 +0200
@@ -26,6 +26,9 @@
 package jdk.nio.zipfs;
 
 import java.nio.file.attribute.BasicFileAttributes;
+import java.nio.file.attribute.PosixFilePermission;
+import java.util.Optional;
+import java.util.Set;
 
 /**
  * The attributes of a file stored in a zip file.
@@ -38,4 +41,5 @@
     int method();
     byte[] extra();
     byte[] comment();
+    Optional<Set<PosixFilePermission>> storedPermissions();
 }