anchor.diff:    }
   
     Future restoreWorkspace() {
  -    return workspace.restore().then((value) {
  -      if (workspace.getFiles().length == 0) {
  -        // No files, just focus the editor.
  -        aceManager.focus();
  -      }
  -    });
  +    _workspace = new ws.Workspace(localPrefs, jobManager);
  +    return _workspace.restore();
     }
   
     Future restoreLocationManager() {
       return filesystem.restoreManager(localPrefs);
  +  }
  +
  +  void initBuilders() {
  +    addBuilder(new DartBuilder(this.services));
  +    if (SparkFlags.performJavaScriptAnalysis) {
  +      addBuilder(new JavaScriptBuilder());
  +    }
  +    addBuilder(new JsonBuilder());
  +    addBuilder(new AppManifestBuilder());
     }
   
     //
  
positive.code:   // Parts of init():
    //
  
    void initPreferences() {
      prefs = new preferences.SparkPreferences(localPrefs);
  
      LocalStateManager.create().then((StateManager state) {
        dependencies[StateManager] = state;
      });
    }
  
negative.code:         _handleUncaughtException(r.error, r.stackTrace);
        }
      });
    }
  
    void initScmManager() {
  