test/java/util/regex/RegExTest.java

*** 31,40 ****
--- 31,41 ----
   * 5013885 5003322 4988891 5098443 5110268 6173522 4829857 5027748 6376940
   * 6358731 6178785 6284152 6231989 6497148 6486934 6233084 6504326 6635133
   * 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;
  import java.util.regex.*;
  import java.util.Random;