--- jsr166/src/test/jtreg/util/Collections/CheckedListBash.java	2017/10/21 00:59:54	1.8
+++ jsr166/src/test/jtreg/util/Collections/CheckedListBash.java	2018/01/08 03:12:03	1.9
@@ -29,7 +29,13 @@
  * @key randomness
  */
 
-import java.util.*;
+import java.util.ArrayList;
+import java.util.Arrays;
+import java.util.Collections;
+import java.util.Iterator;
+import java.util.List;
+import java.util.ListIterator;
+import java.util.Random;
 
 public class CheckedListBash {
     static Random rnd = new Random();