--- jsr166/src/main/java/util/Random.java	2006/02/16 08:30:29	1.16
+++ jsr166/src/main/java/util/Random.java	2006/04/19 15:07:14	1.17
@@ -136,7 +136,7 @@ class Random implements java.io.Serializ
         do {
 	    oldseed = seed.get();
 	    nextseed = (oldseed * multiplier + addend) & mask;
-        } while (!seed.compareAndSet(oldseed, nextseed));
+        } while (!seed.weakCompareAndSet(oldseed, nextseed));
         return (int)(nextseed >>> (48 - bits));
     }