equal
deleted
inserted
replaced
26 package java.util.zip; |
26 package java.util.zip; |
27 |
27 |
28 import java.io.OutputStream; |
28 import java.io.OutputStream; |
29 import java.io.IOException; |
29 import java.io.IOException; |
30 import java.nio.charset.Charset; |
30 import java.nio.charset.Charset; |
31 import java.nio.charset.StandardCharset; |
31 import java.nio.charset.StandardCharsets; |
32 import java.util.Vector; |
32 import java.util.Vector; |
33 import java.util.HashSet; |
33 import java.util.HashSet; |
34 import static java.util.zip.ZipConstants64.*; |
34 import static java.util.zip.ZipConstants64.*; |
35 |
35 |
36 /** |
36 /** |
99 * to encode the entry names and comments. |
99 * to encode the entry names and comments. |
100 * |
100 * |
101 * @param out the actual output stream |
101 * @param out the actual output stream |
102 */ |
102 */ |
103 public ZipOutputStream(OutputStream out) { |
103 public ZipOutputStream(OutputStream out) { |
104 this(out, StandardCharset.UTF_8); |
104 this(out, StandardCharsets.UTF_8); |
105 } |
105 } |
106 |
106 |
107 /** |
107 /** |
108 * Creates a new ZIP output stream. |
108 * Creates a new ZIP output stream. |
109 * |
109 * |