test/jdk/nio/zipfs/Basic.java
Print this page
*** 29,40 ****
import java.io.IOException;
/**
*
* @test
! * @bug 8038500
* @summary Basic test for zip provider
*/
public class Basic {
public static void main(String[] args) throws Exception {
Path zipfile = Paths.get(System.getProperty("test.jdk"),
--- 29,43 ----
import java.io.IOException;
/**
*
* @test
! * @bug 8038500 8040059
* @summary Basic test for zip provider
+ *
+ * @run main Basic
+ * @run main/othervm/policy=test.policy Basic
*/
public class Basic {
public static void main(String[] args) throws Exception {
Path zipfile = Paths.get(System.getProperty("test.jdk"),