--- a/jdk/src/share/classes/java/util/zip/ZipFile.java	Sat Dec 18 09:10:49 2010 -0800
+++ b/jdk/src/share/classes/java/util/zip/ZipFile.java	Mon Dec 20 13:47:04 2010 -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();
             }