// *** before: ***
String html1 = "<html>\n" +
" <body>\n" +
" <p>Hello</p>\n" +
" </body>\n" +
"</html>\n";
String json1 =
"{\"name\": \"Mark\", \"age\": 30}";
// *** in version 15: ***
String html2 = """
<html>
<body>
<p>Hello</p>
</body>
</html>
""";
String json2 = """
{"name": "Mark", "age": 30}"""; // no escaping of the quotes
System.out.println(html2);
System.out.println(json2);
System.out.println(html1.equals(html2)); // true
// the common indent is cut off: it is measured by the least indented line,
// the closing """ included