28 |
|
* @key randomness |
29 |
|
*/ |
30 |
|
|
31 |
< |
import java.util.*; |
31 |
> |
import java.util.ArrayList; |
32 |
> |
import java.util.Collections; |
33 |
> |
import java.util.LinkedList; |
34 |
> |
import java.util.List; |
35 |
> |
import java.util.Random; |
36 |
> |
import java.util.Vector; |
37 |
|
|
38 |
|
public class Rotate { |
39 |
|
// Should have lots of distinct factors and be > ROTATE_THRESHOLD |
42 |
|
static Random rnd = new Random(); |
43 |
|
|
44 |
|
public static void main(String[] args) throws Exception { |
45 |
< |
List a[] = {new ArrayList(), new LinkedList(), new Vector()}; |
45 |
> |
List[] a = {new ArrayList(), new LinkedList(), new Vector()}; |
46 |
|
|
47 |
|
for (int i=0; i<a.length; i++) { |
48 |
|
List lst = a[i]; |