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: 
      initWorkspace();
  
      initProgressManager();
  
      createEditorComponents();
      initEditorArea();
  
negative.code: 
    final bool developerMode;
  
    JobManager jobManager;
    ActivitySpinner activitySpinner;
  
    AceContainer aceContainer;
    ThemeManager aceThemeManager;
    KeyBindingManager aceKeysManager;
  