--- old/test/java/nio/charset/coders/BashStreams.java	2015-04-21 18:52:13.336847416 -0700
+++ new/test/java/nio/charset/coders/BashStreams.java	2015-04-21 18:52:13.156757412 -0700
@@ -23,6 +23,7 @@
 
 /* @test
  * @summary Stochastic test of charset-based streams
+ * @key randomness
  */
 
 import java.io.*;