--- old/src/jdk.zipfs/share/classes/jdk/nio/zipfs/ZipFileAttributes.java	2018-12-18 16:24:55.290886400 +0100
+++ new/src/jdk.zipfs/share/classes/jdk/nio/zipfs/ZipFileAttributes.java	2018-12-18 16:24:54.421616400 +0100
@@ -25,14 +25,14 @@
 
 package jdk.nio.zipfs;
 
-import java.nio.file.attribute.BasicFileAttributes;
+import java.nio.file.attribute.PosixFileAttributes;
 
 /**
  * The attributes of a file stored in a zip file.
  *
  * @author Xueming Shen, Rajendra Gutupalli,Jaya Hangal
  */
-interface ZipFileAttributes extends BasicFileAttributes {
+interface ZipFileAttributes extends PosixFileAttributes {
     public long compressedSize();
     public long crc();
     public int method();