>>>
return JSON.encode((span == null)
    ? [{'method': kind, 'params': {'message': entry.message}}]
    : [
    {
      'method': kind,
      'params': {
        'file': span.sourceUrl.toString(),
        'message': entry.message,
        'line': span.start.line + 1,
        'charStart': span.start.offset,
        'charEnd': span.end.offset,
      }
    }
  ]);
<<<
return JSON.encode((span == null)
    ? [
        {
          'method': kind,
          'params': {'message': entry.message}
        }
      ]
    : [
        {
          'method': kind,
          'params': {
            'file': span.sourceUrl.toString(),
            'message': entry.message,
            'line': span.start.line + 1,
            'charStart': span.start.offset,
            'charEnd': span.end.offset,
          }
        }
      ]);