127128129130131132133134135136137138139140141142143144145146
} public static String escapeEscapes(String val) { assert(val != null); InternalStringBuilder sb = new InternalStringBuilder(val.length()); for (int i = 0; i < val.length(); i++) { char c = val.charAt(i); if (c == '"') { sb.append("""); continue; } if (c == '\\') { sb.append("\\\\"); continue; } sb.append(c); } return sb.toString(); }