--- jsr166/src/test/jtreg/util/Collections/Rotate.java	2017/10/22 02:59:18	1.5
+++ jsr166/src/test/jtreg/util/Collections/Rotate.java	2018/01/08 03:12:03	1.6
@@ -28,7 +28,12 @@
  * @key randomness
  */
 
-import java.util.*;
+import java.util.ArrayList;
+import java.util.Collections;
+import java.util.LinkedList;
+import java.util.List;
+import java.util.Random;
+import java.util.Vector;
 
 public class Rotate {
     // Should have lots of distinct factors and be > ROTATE_THRESHOLD