@@ -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.*;