--- old/test/java/util/Collections/CheckedListBash.java	2015-04-21 18:52:27.676013747 -0700
+++ new/test/java/util/Collections/CheckedListBash.java	2015-04-21 18:52:27.491921743 -0700
@@ -26,6 +26,7 @@
  * @bug     4904067
  * @summary Unit test for Collections.checkedList
  * @author  Josh Bloch
+ * @key randomness
  */
 
 import java.util.*;