test/jdk/nio/zipfs/Basic.java

*** 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"),