equal
deleted
inserted
replaced
29 import java.io.InputStream; |
29 import java.io.InputStream; |
30 import java.io.IOException; |
30 import java.io.IOException; |
31 import java.io.EOFException; |
31 import java.io.EOFException; |
32 import java.io.File; |
32 import java.io.File; |
33 import java.nio.charset.Charset; |
33 import java.nio.charset.Charset; |
34 import java.nio.charset.StandardCharset; |
34 import java.nio.charset.StandardCharsets; |
35 import java.util.ArrayDeque; |
35 import java.util.ArrayDeque; |
36 import java.util.Deque; |
36 import java.util.Deque; |
37 import java.util.Enumeration; |
37 import java.util.Enumeration; |
38 import java.util.HashMap; |
38 import java.util.HashMap; |
39 import java.util.Map; |
39 import java.util.Map; |
139 * @throws IllegalArgumentException if the <tt>mode</tt> argument is invalid |
139 * @throws IllegalArgumentException if the <tt>mode</tt> argument is invalid |
140 * @see SecurityManager#checkRead(java.lang.String) |
140 * @see SecurityManager#checkRead(java.lang.String) |
141 * @since 1.3 |
141 * @since 1.3 |
142 */ |
142 */ |
143 public ZipFile(File file, int mode) throws IOException { |
143 public ZipFile(File file, int mode) throws IOException { |
144 this(file, mode, StandardCharset.UTF_8); |
144 this(file, mode, StandardCharsets.UTF_8); |
145 } |
145 } |
146 |
146 |
147 /** |
147 /** |
148 * Opens a ZIP file for reading given the specified File object. |
148 * Opens a ZIP file for reading given the specified File object. |
149 * |
149 * |