factory LspPosition.fromJson(Map<String, dynamic> json) => LspPosition( line: json['line'] as int, character: json['character'] as int, );