anchor.diff:     * [debugStdio] has been called.
      */
     void _recordStdio(String line) {
  -    setupLog.writeln(line);
  +    _logger.fine(line);
   
       double elapsedTime = _time.elapsedTicks / _time.frequency;
       line = "$elapsedTime: $line";
  
positive.code:     _process.stdout.transform(
          (new Utf8Codec()).decoder).transform(new LineSplitter()).listen((String line) {
        String trimmedLine = line.trim();
  
        serverLog.writeln(trimmedLine);
  
        _recordStdio('RECV: $trimmedLine');
        var message;
  
negative.code: 
  Future<AnalysisUpdateContentResult> sendAddOverlay(
      String file, String contents) {
    _logger.fine("sendAddOverlay: $file $contents");
  
    var overlay = new AddContentOverlay(contents);
    var params = new AnalysisUpdateContentParams({file: overlay}).toJson();
  
    _logger.fine("About to send analysis.updateContent");
  
    return server.send("analysis.updateContent", params).then((result) {
      _logger.fine("analysis.updateContent -> then");
  
      ResponseDecoder decoder = new ResponseDecoder(null);
      return new AnalysisUpdateContentResult.fromJson(decoder, 'result', result);
  