changeset 42434 | 7fc88840baa5 |
parent 40684 | 2e37c119dc2a |
42419:5c71ea43933b | 42434:7fc88840baa5 |
---|---|
22 */ |
22 */ |
23 |
23 |
24 /* |
24 /* |
25 * @test |
25 * @test |
26 * @bug 8142508 8146431 |
26 * @bug 8142508 8146431 |
27 * @modules java.base/java.util.zip:open |
|
27 * @summary Tests various ZipFile apis |
28 * @summary Tests various ZipFile apis |
28 * @run main/manual TestZipFile |
29 * @run main/manual TestZipFile |
29 */ |
30 */ |
30 |
31 |
31 import java.io.*; |
32 import java.io.*; |