--- jsr166/src/test/jtreg/util/Random/DistinctSeeds.java	2003/11/08 07:46:41	1.2
+++ jsr166/src/test/jtreg/util/Random/DistinctSeeds.java	2011/03/15 19:47:04	1.7
@@ -1,5 +1,11 @@
-/**
- * @test %I% %E%
+/*
+ * 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/publicdomain/zero/1.0/
+ */
+
+/*
+ * @test
  * @bug 4949279
  * @summary Independent instantiations of Random() have distinct seeds.
  */
@@ -8,10 +14,10 @@ import java.util.Random;
 
 public class DistinctSeeds {
     public static void main(String[] args) throws Exception {
-	// 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())
+        // 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.");
     }
 }