--- old/src/jdk.zipfs/share/classes/jdk/nio/zipfs/ZipFileAttributes.java	2019-02-08 16:05:28.914523300 +0100
+++ new/src/jdk.zipfs/share/classes/jdk/nio/zipfs/ZipFileAttributes.java	2019-02-08 16:05:27.827511900 +0100
@@ -1,5 +1,5 @@
 /*
- * Copyright (c) 2009, 2018, Oracle and/or its affiliates. All rights reserved.
+ * Copyright (c) 2009, 2019, Oracle and/or its affiliates. All rights reserved.
  * DO NOT ALTER OR REMOVE COPYRIGHT NOTICES OR THIS FILE HEADER.
  *
  * This code is free software; you can redistribute it and/or modify it
@@ -25,18 +25,21 @@
 
 package jdk.nio.zipfs;
 
-import java.nio.file.attribute.BasicFileAttributes;
+import java.nio.file.attribute.PosixFileAttributes;
+import java.nio.file.attribute.PosixFilePermission;
+import java.util.Optional;
+import java.util.Set;
 
 /**
  * The attributes of a file stored in a zip file.
  *
  * @author Xueming Shen, Rajendra Gutupalli,Jaya Hangal
  */
-interface ZipFileAttributes extends BasicFileAttributes {
-    public long compressedSize();
-    public long crc();
-    public int method();
-    public byte[] extra();
-    public byte[] comment();
-    public String toString();
+interface ZipFileAttributes extends PosixFileAttributes {
+    long compressedSize();
+    long crc();
+    int method();
+    byte[] extra();
+    byte[] comment();
+    Optional<Set<PosixFilePermission>> storedPermissions();
 }