@@ -22,10 +22,11 @@ */ /* @test * @bug 7188852 * @summary Test De/Inflater.getBytesRead/Written() + * @key randomness */ import java.io.*; import java.util.*; import java.util.zip.*;