anchor.diff:      activitySpinner.setShowing(false);
   
       jobManager = new JobManager();
  -    jobManager.onChange.listen(onJobManagerData, onDone: onJobDone);
  +    jobManager.onChange.listen(onJobManagerData);
     }
   
     void onJobManagerData(JobManagerEvent event) {
  -    /*%TRACE3*/ print("(4> 12/18/13): onJobManagerData!" + event.started.toString()); // TRACE%
  -    this.activitySpinner.setShowing(event.started);
  -  }
  -
  -  bool onJobDone(JobManagerEvent event) {
  -    /*%TRACE3*/ print("(4> 12/18/13): onJobDone!" + event.started.toString()); // TRACE%
  +    bool showSpinner = (event.finished != true);
  +    this.activitySpinner.setShowing(showSpinner);
     }
   
     void initEditorManager() {
  
positive.code:   }
  
    void setShowing(bool showing) {
      element.style.opacity = '0';
    }
  
    ActivitySpinner._internal(Spark spark) {
  
negative.code: 
      switch (stage) {
        case 1:
          job = new MockJob();
          jobManager.schedule(job);
          break;
  
        case 2:
          break;
      }
    }
  