anchor.diff:    void initPubManager() {
       _pubManager = new PubManager(this);
     }
  -  
  +
     void createEditorComponents() {
       _aceManager = new AceManager(new DivElement(), this);
       _aceThemeManager = new ThemeManager(
  
positive.code: 
    Future run(ProgressMonitor monitor) {
      monitor.start(name, 1);
    
      return spark.pubManager.runPubGet(project).then((_) {
        spark.showSuccessMessage('Pub get run successful');
      }).catchError((e) {
  
negative.code:   LaunchManager get launchManager => _launchManager;
    PubManager get pubManager => _pubManager;
  
    preferences.PreferenceStore get localPrefs => preferences.localStore;
    preferences.PreferenceStore get syncPrefs => preferences.syncStore;
  
    ActionManager get actionManager => _actionManager;
  
  