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