test/java/util/zip/ZipFile/ReadZip.java

@@ -22,10 +22,11 @@
  */
 
 /* @test
    @bug 4241361 4842702 4985614 6646605 5032358 6923692
    @summary Make sure we can read a zip file.
+   @key randomness
  */
 
 import java.io.*;
 import java.nio.file.Files;
 import java.nio.file.Paths;