--- old/test/java/lang/String/Split.java	2015-04-21 18:51:46.115242786 -0700
+++ new/test/java/lang/String/Split.java	2015-04-21 18:51:45.939154782 -0700
@@ -25,6 +25,7 @@
  * @test
  * @bug 6840246 6559590
  * @summary test String.split()
+ * @key randomness
  */
 import java.util.Arrays;
 import java.util.Random;