--- jsr166/src/jsr166e/extra/AtomicDouble.java	2011/10/25 20:21:25	1.12
+++ jsr166/src/jsr166e/extra/AtomicDouble.java	2011/10/25 20:30:26	1.13
@@ -216,7 +216,7 @@ public class AtomicDouble extends Number
      * @serialData The current value is emitted (a {@code double}).
      */
     private void writeObject(java.io.ObjectOutputStream s)
-        throws java.io.IOException{
+        throws java.io.IOException {
         s.defaultWriteObject();
 
         s.writeDouble(get());