diff --git a/compiler/src/jdk.graal.compiler/src/jdk/graal/compiler/util/json/JsonWriter.java b/compiler/src/jdk.graal.compiler/src/jdk/graal/compiler/util/json/JsonWriter.java index 8342c44e4206..deaf715696cb 100644 --- a/compiler/src/jdk.graal.compiler/src/jdk/graal/compiler/util/json/JsonWriter.java +++ b/compiler/src/jdk.graal.compiler/src/jdk/graal/compiler/util/json/JsonWriter.java @@ -326,7 +326,8 @@ private static String quoteString(String s) { for (int i = 0; i < s.length(); i++) { char c = s.charAt(i); // Escaping rules according to https://www.ietf.org/rfc/rfc4627.txt section 2.5 - if (c == '"' || c == '\\' || c == '/') { + // except for '/' because it is unnecessarily verbose. + if (c == '"' || c == '\\') { escapeSequence(sb, c); } else if (c == '\b') { escapeSequence(sb, 'b');