--- old/test/java/util/Collections/CheckedSetBash.java	2015-04-21 18:52:28.624487769 -0700
+++ new/test/java/util/Collections/CheckedSetBash.java	2015-04-21 18:52:28.440395766 -0700
@@ -27,6 +27,7 @@
  * @summary Unit test for Collections.checkedSet
  * @author  Josh Bloch
  * @run testng CheckedSetBash
+ * @key randomness
  */
 
 import java.util.*;