anchor.diff:      switch (stage) {
         case 1:
           /*%TRACE3*/ print("(4> 12/18/13): 1!"); // TRACE%
  -        jobManager = new JobManager();
           job = new MockJob();
           jobManager.schedule(job);
           break;
  
positive.code:   }
  
    void testProgressBar() {
      JobManager jobManager;
      MockJob job;
      Element button = getUIElement("#progressBar");
      String buttonTitle = button.text;
  
negative.code: 
    final bool developerMode;
  
    JobManager jobManager;
    ActivitySpinner activitySpinner;
  
    AceContainer aceContainer;
    ThemeManager aceThemeManager;
    KeyBindingManager aceKeysManager;
  