anchor.diff:      ServerCommunicationChannel.ToJson.start();
       String jsonEncoding = JSON.encode(notification.toJson());
       ServerCommunicationChannel.ToJson.stop();
  -    output.writeln(jsonEncoding);
  +    output.write(jsonEncoding + '\n');
     }
   
     @override
  
positive.code:     ServerCommunicationChannel.ToJson.start();
      String jsonEncoding = JSON.encode(response.toJson());
      ServerCommunicationChannel.ToJson.stop();
      output.writeln(jsonEncoding);
    }
  
    /**
  
negative.code:   @override
    Future<Response> sendRequest(Request request) {
      String id = request.id;
      output.write(JSON.encode(request.toJson()) + '\n');
      return responseStream.firstWhere((Response response) => response.id == id);
    }
  }
  