--- jsr166/src/test/jtreg/util/Random/DistinctSeeds.java	2007/05/21 16:44:31	1.4
+++ jsr166/src/test/jtreg/util/Random/DistinctSeeds.java	2009/08/31 22:24:46	1.6
@@ -5,7 +5,7 @@
  */
 
 /*
- * @test %I% %E%
+ * @test
  * @bug 4949279
  * @summary Independent instantiations of Random() have distinct seeds.
  */
@@ -14,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.");
     }
 }