--- jsr166/src/main/java/util/Random.java	2003/05/27 15:49:59	1.1
+++ jsr166/src/main/java/util/Random.java	2003/08/08 20:05:07	1.2
@@ -49,8 +49,7 @@ class Random implements java.io.Serializ
       try {
         seedOffset = 
           unsafe.objectFieldOffset(Random.class.getDeclaredField("seed"));
-      }
-      catch(Exception ex) { throw new Error(ex); }
+      } catch(Exception ex) { throw new Error(ex); }
     }
 
     /**