anchor.diff:      Map<String, String> sources = collectCodeSources();
       String input = querySelector('#raw-input').querySelector('.card-contents').text;
       String jobName = (querySelector('#server-job-name-textfield') as InputElement).value;
  +    sources = _selectExecFile(sources, "entry_point_map.dart");
  +    
       Map<String, dynamic> message = {
         "sources": sources,
         "input": [input],
  
positive.code:     }
      querySelector('#raw-output').querySelector('.card-contents').innerHtml = "<pre>$responseText</pre>";
    } else {
      querySelector('#raw-output').querySelector('.card-contents').text = 'Request failed, status=${request.status}';
    }
  }
  
  
negative.code:   keys.bind(['alt-enter', 'ctrl-1'], () {}, "Quick fix");
    keys.bind(['ctrl-space', 'macctrl-space'], () {}, "Completion");
  }
  
  
  /// Rewrite the sources map to select the file to execute
  Map<String, String> _selectExecFile(
    Map<String, String> sources, String sourceNameToExec) {
  
      const EXEC_NAME = "entry_point.dart"; // The file that will be run
  
      sources[EXEC_NAME] = sources[sourceNameToExec];
      sources.remove(sourceNameToExec);
  
      return sources;
    }
  