@@ -24,10 +24,11 @@ /* * @test * @bug 4904067 * @summary Unit test for Collections.checkedList * @author Josh Bloch + * @key randomness */ import java.util.*; public class CheckedListBash {