--- old/src/share/classes/java/util/zip/ZipFile.java	2010-12-15 14:41:07.267845111 -0800
+++ new/src/share/classes/java/util/zip/ZipFile.java	2010-12-15 14:41:07.047418139 -0800
@@ -543,7 +543,7 @@
 
             if (streams.size() !=0) {
                 Set<InputStream> copy = streams;
-                streams = new HashSet<InputStream>();
+                streams = new HashSet<>();
                 for (InputStream is: copy)
                     is.close();
             }