Rename BadNumberFormatException -> FormatException.

utils/pub/version.dart

Index: utils/pub/version.dart
diff --git a/utils/pub/version.dart b/utils/pub/version.dart
index bf638bc5e464f6cf47594e45d83f6eb9b7def32f..9fe2bd00df601b945f1cc3edd82be01a5729bfe2 100644
--- a/utils/pub/version.dart
+++ b/utils/pub/version.dart
@@ -67,7 +67,7 @@ class Version implements Comparable, Hashable, VersionConstraint {
       String build = match[8];
 
       return new Version(major, minor, patch, preRelease, build);
-    } catch (BadNumberFormatException ex) {
+    } catch (FormatException ex) {
       throw new FormatException('Could not parse "$text".');
     }
   }
@@ -181,7 +181,7 @@ class Version implements Comparable, Hashable, VersionConstraint {
     return text.split('.').map((part) {
       try {
         return Math.parseInt(part);
-      } catch (BadNumberFormatException ex) {
+      } catch (FormatException ex) {
         // Not a number.
         return part;
       }