@@ -23,10 +23,11 @@ /** * @test * @bug 4206909 4813885 * @summary Test basic functionality of DeflaterOutputStream/InflaterInputStream and GZIPOutputStream/GZIPInputStream, including flush + * @key randomness */ import java.io.*; import java.util.*; import java.util.zip.*;