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

*** 22,31 ****
--- 22,32 ----
   */
  
  /* @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.*;