--- jsr166/src/test/jtreg/util/Collections/CheckedListBash.java 2015/10/11 00:54:27 1.7 +++ jsr166/src/test/jtreg/util/Collections/CheckedListBash.java 2017/10/21 00:59:54 1.8 @@ -209,15 +209,14 @@ public class CheckedListBash { } static void AddRandoms(List s, int n) { - for (int i=0; i