--- old/test/java/util/EnumSet/EnumSetBash.java	2015-04-21 18:52:30.053201802 -0700
+++ new/test/java/util/EnumSet/EnumSetBash.java	2015-04-21 18:52:29.857103798 -0700
@@ -28,6 +28,7 @@
  * @author  Josh Bloch
  * @author  Neal Gafter
  * @author  Yo Ma Ma
+ * @key randomness
  */
 
 import java.util.*;