test/java/util/zip/ZipFile/FinalizeZipFile.java

@@ -22,10 +22,11 @@
  */
 
 /* @test
  * @bug 7007609 7009618
  * @summary Check that ZipFile objects are always collected
+ * @key randomness
  */
 
 import java.io.*;
 import java.util.Random;
 import java.util.zip.*;