| Index: utils/pub/source.dart | 
| diff --git a/utils/pub/source.dart b/utils/pub/source.dart | 
| index 3e4eb087c0be0f89a957844e13fef924311c8778..da01f1214930d47b5c335afc66334e182f770407 100644 | 
| --- a/utils/pub/source.dart | 
| +++ b/utils/pub/source.dart | 
| @@ -10,22 +10,6 @@ | 
| */ | 
| class Source { | 
| /** | 
| -   * The default [Source] from which to fetch packages if no other [Source] is | 
| -   * specified. | 
| -   */ | 
| -  static Source defaultSource; | 
| - | 
| -  /** | 
| -   * Looks up a source based on its name. | 
| -   */ | 
| -  static Source fromName(String name) { | 
| -    // TODO(nweiz): add a more principled way of registering sources here once | 
| -    // we have more than one source. Especially important for plugins. | 
| -    if (name == 'sdk') return defaultSource; | 
| -    throw 'Unknown source "$name"'; | 
| -  } | 
| - | 
| -  /** | 
| * The name of the source. Should be lower-case, suitable for use in a | 
| * filename, and unique accross all sources. | 
| */ | 
|  |