jdk/src/share/classes/java/util/zip/ZipOutputStream.java
changeset 7803 56bc97d69d93
parent 5506 202f599c92aa
child 9035 1255eb81cc2f
equal deleted inserted replaced
7802:74f2ee2b62ba 7803:56bc97d69d93
    50             this.offset = offset;
    50             this.offset = offset;
    51         }
    51         }
    52     }
    52     }
    53 
    53 
    54     private XEntry current;
    54     private XEntry current;
    55     private Vector<XEntry> xentries = new Vector<XEntry>();
    55     private Vector<XEntry> xentries = new Vector<>();
    56     private HashSet<String> names = new HashSet<String>();
    56     private HashSet<String> names = new HashSet<>();
    57     private CRC32 crc = new CRC32();
    57     private CRC32 crc = new CRC32();
    58     private long written = 0;
    58     private long written = 0;
    59     private long locoff = 0;
    59     private long locoff = 0;
    60     private byte[] comment;
    60     private byte[] comment;
    61     private int method = DEFLATED;
    61     private int method = DEFLATED;