jdk/src/share/classes/java/util/zip/ZipOutputStream.java
changeset 7803 56bc97d69d93
parent 5506 202f599c92aa
child 9035 1255eb81cc2f
--- a/jdk/src/share/classes/java/util/zip/ZipOutputStream.java	Sat Dec 18 09:10:49 2010 -0800
+++ b/jdk/src/share/classes/java/util/zip/ZipOutputStream.java	Mon Dec 20 13:47:04 2010 -0800
@@ -52,8 +52,8 @@
     }
 
     private XEntry current;
-    private Vector<XEntry> xentries = new Vector<XEntry>();
-    private HashSet<String> names = new HashSet<String>();
+    private Vector<XEntry> xentries = new Vector<>();
+    private HashSet<String> names = new HashSet<>();
     private CRC32 crc = new CRC32();
     private long written = 0;
     private long locoff = 0;