Include the key of the DiagnosticType when printing warnings or errors in
JSON output mode.
@@ -67,6 +67,7 @@ public class PrintStreamJSONErrorManager extends BasicErrorManager {
jsonWriter.beginObject();
jsonWriter.name("level").value(message.level == CheckLevel.ERROR ? "error" : "warning");
jsonWriter.name("description").value(message.error.description);
+ jsonWriter.name("key").value(message.error.getType().key);
jsonWriter.name("source").value(sourceName);
jsonWriter.name("line").value(lineNumber);
jsonWriter.name("column").value(charno);
