--- jsr166/src/test/jtreg/util/Collections/CheckedSetBash.java 2015/10/18 17:34:26 1.7 +++ jsr166/src/test/jtreg/util/Collections/CheckedSetBash.java 2017/10/21 00:59:54 1.8 @@ -122,9 +122,8 @@ public class CheckedSetBash { } static void AddRandoms(Set s, int n) { - for (int i=0; i