--- old/test/java/util/zip/ZipFile/FinalizeZipFile.java	2015-04-21 18:52:48.054198220 -0700
+++ new/test/java/util/zip/ZipFile/FinalizeZipFile.java	2015-04-21 18:52:47.866104214 -0700
@@ -24,6 +24,7 @@
 /* @test
  * @bug 7007609 7009618
  * @summary Check that ZipFile objects are always collected
+ * @key randomness
  */
 
 import java.io.*;