--- old/test/java/util/regex/RegExTest.java	2015-04-21 18:52:42.035190079 -0700
+++ new/test/java/util/regex/RegExTest.java	2015-04-21 18:52:41.851098075 -0700
@@ -33,6 +33,7 @@
  * 6350801 6676425 6878475 6919132 6931676 6948903 6990617 7014645 7039066
  * 7067045 7014640 7189363 8007395 8013252 8013254 8012646 8023647 6559590
  * 8027645 8035076 8039124 8035975 8074678
+ * @key randomness
  */
 
 import java.util.function.Function;