Rename BadNumberFormatException -> FormatException.

runtime/bin/http_impl.dart

 // Copyright (c) 2012, 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 _HttpHeaders implements HttpHeaders {
   _HttpHeaders() : _headers = new Map<String, List<String>>();
 
   List<String> operator[](String name) {
     name = name.toLowerCase();
     return _headers[name];
@@ skipping 149 matching lines @@
         if (pos > 0) {
           _host = value.substring(0, pos);
         } else {
           _host = null;
         }
         if (pos + 1 == value.length) {
           _port = HttpClient.DEFAULT_HTTP_PORT;
         } else {
           try {
             _port = Math.parseInt(value.substring(pos + 1));
-          } catch (BadNumberFormatException e) {
+          } catch (FormatException e) {
             _port = null;
           }
         }
         _set("host", value);
       }
     } else if (name.toLowerCase() == "content-type") {
       _set("content-type", value);
     } else {
       name = name.toLowerCase();
       List<String> values = _headers[name];
@@ skipping 1950 matching lines @@
 
 
 class _RedirectInfo implements RedirectInfo {
   const _RedirectInfo(int this.statusCode,
                       String this.method,
                       Uri this.location);
   final int statusCode;
   final String method;
   final Uri location;
 }