8272261: Improve JFR recording file processing

Reviewed-by: andrew

Author: olivergillespie

jdk/src/share/classes/jdk/jfr/internal/tool/JSONWriter.java

@@ -187,7 +187,7 @@ private void printNull() {
     private void printDataStructureName(String text) {
         printIndent();
         print("\"");
-        print(text);
+        printEscaped(text);
         print("\": ");
     }
 

jdk/src/share/classes/jdk/jfr/internal/tool/XMLWriter.java

@@ -83,7 +83,11 @@ private void printEvent(RecordedEvent event) {
     }
 
     private void printAttribute(String name, String value) {
-        print(" ", name, "=\"", value, "\"");
+        print(" ");
+        print(name); // Only known strings
+        print("=\"");
+        printEscaped(value);
+        print("\"");
     }
 
     public void printObject(RecordedObject struct) {