anchor.diff:    static final _ANALYTICS_ID = 'UA-45578231-1';
   
     AceEditor editor;
  -  wkspace.Workspace workspace;
  +  ws.Workspace workspace;
     EditorManager editorManager;
     analytics.Tracker tracker = new analytics.NullTracker();
   
  
positive.code: import 'lib/ui/files_controller.dart';
  import 'lib/ui/files_controller_delegate.dart';
  import 'lib/ui/widgets/splitview.dart';
  import 'lib/workspace.dart' as wkspace;
  import 'test/all.dart' as all_tests;
  
  /**
  
negative.code: 
    // Implementation of FilesControllerDelegate interface.
  
    void openInEditor(ws.Resource file) {
      if (file is ws.File) editorManager.openOrSelect(file);
    }
  
    void _handleChangeTheme({bool themeLeft: true}) {
  