Rename BadNumberFormatException -> FormatException.

runtime/lib/double.dart

 // Copyright (c) 2011, the Dart project authors.  Please see the AUTHORS file
 // for details. All rights reserved. Use of this source code is governed by a
 // BSD-style license that can be found in the LICENSE file.
 
 class Double implements double {
   factory Double.fromInteger(int value)
       native "Double_doubleFromInteger";
   int hashCode() {
     try {
       return toInt();
-    } catch (BadNumberFormatException e) {
+    } catch (FormatException e) {
       return 0;
     }
   }
   double operator +(num other) {
     return add_(other.toDouble());
   }
   double add_(double other) native "Double_add";
 
   double operator -(num other) {
     return sub_(other.toDouble());
@@ skipping 71 matching lines @@
   }
 
   bool greaterThanFromInteger(int other) native "Double_greaterThanFromInteger";
 
   bool isNegative() native "Double_isNegative";
   bool isInfinite() native "Double_isInfinite";
   bool isNaN() native "Double_isNaN";
 
   double abs() {
     // Handle negative 0.0.
-    if (this == 0.0) return 0.0;  
+    if (this == 0.0) return 0.0;
     return this < 0.0 ? -this : this;
   }
 
   double round() native "Double_round";
   double floor() native "Double_floor";
   double ceil () native "Double_ceil";
   double truncate() native "Double_truncate";
   int toInt() native "Double_toInt";
   double toDouble() { return this; }
 
@@ skipping 108 matching lines @@
         return EQUAL;
       }
     } else if (isNaN()) {
       return other.isNaN() ? EQUAL : GREATER;
     } else {
       // Other is NaN.
       return LESS;
     }
   }
 }