--- old/test/java/util/zip/GZIP/GZIPInputStreamRead.java	2015-04-21 18:52:44.856600145 -0700
+++ new/test/java/util/zip/GZIP/GZIPInputStreamRead.java	2015-04-21 18:52:44.664504141 -0700
@@ -25,6 +25,7 @@
  * @bug 4691425
  * @summary Test the read and write of GZIPInput/OutputStream, including
  *          concatenated .gz inputstream
+ * @key randomness
  */
 
 import java.io.*;