--- jsr166/src/test/jtreg/util/Random/DistinctSeeds.java	2009/02/17 00:40:01	1.5
+++ jsr166/src/test/jtreg/util/Random/DistinctSeeds.java	2009/08/31 22:24:46	1.6
@@ -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.");
     }
 }