@@ -23,10 +23,11 @@ /** * @test * @bug 7110149 * @summary Test basic deflater & inflater functionality + * @key randomness */ import java.io.*; import java.util.*; import java.util.zip.*;