in src/ParityTests.java [124:133]
static public String lazyEncodeString(String string) {
Matcher lazyMatcher = lazyEscapePattern.matcher(string);
StringBuffer buffer = new StringBuffer();
while (lazyMatcher.find()) {
String replacement = String.format(JSON_UNICODE_PATTERN, (int) lazyMatcher.group(0).charAt(0));
lazyMatcher.appendReplacement(buffer, Matcher.quoteReplacement(replacement));
}
lazyMatcher.appendTail(buffer);
return buffer.toString();
}