--- old/src/share/classes/jdk/nio/zipfs/ZipFileSystemProvider.java	2014-07-31 10:51:23.000000000 -0700
+++ new/src/share/classes/jdk/nio/zipfs/ZipFileSystemProvider.java	2014-07-31 10:51:23.000000000 -0700
@@ -271,6 +271,7 @@
     }
 
     @Override
+    @SuppressWarnings("unchecked") // Cast to A
     public <A extends BasicFileAttributes> A
         readAttributes(Path path, Class<A> type, LinkOption... options)
         throws IOException