--- jsr166/src/test/jtreg/util/Random/DistinctSeeds.java	2003/11/07 01:35:36	1.1
+++ jsr166/src/test/jtreg/util/Random/DistinctSeeds.java	2007/02/19 00:24:17	1.3
@@ -1,16 +1,24 @@
 /**
- * @test 1.1 03/11/06
+ * @test %I% %E%
  * @bug 4949279
  * @summary Independent instantiations of Random() have distinct seeds.
  */
 
+/*
+ * Written by Doug Lea with assistance from members of JCP JSR-166
+ * Expert Group and released to the public domain, as explained at
+ * http://creativecommons.org/licenses/publicdomain
+ */
+
+
 import java.util.Random;
 
 public class DistinctSeeds {
     public static void main(String[] args) throws Exception {
-	// Strictly speaking, it is possible for these to be equal,
-	// but the likelihood should be *extremely* small.
-	if (new Random().nextLong() == new Random().nextLong())
-            throw new RuntimeException("Random seeds not unique.");
+	// Strictly speaking, it is possible for these to randomly fail,
+	// but the probability should be *extremely* small (< 2**-63).
+	if (new Random().nextLong() == new Random().nextLong() ||
+	    new Random().nextLong() == new Random().nextLong())
+            throw new RuntimeException("Random() seeds not unique.");
     }
 }