--- jsr166/src/test/loops/NavigableMapCheck.java	2006/04/19 15:10:47	1.3
+++ jsr166/src/test/loops/NavigableMapCheck.java	2007/02/19 00:46:06	1.4
@@ -506,7 +506,7 @@ public class NavigableMapCheck {
         Stats(double t) { least = t; }
     }
 
-    static Random rng = new Random();
+    static Random rng = new Random(111);
 
     static void shuffle(Integer[] keys) {
         int size = keys.length;