protected String convertFromJavaString(String string, boolean useUnicode, int index, StringBuilder result) { int length = string.length(); while(index < length) { index = unescapeCharAndAppendTo(string, useUnicode, index, result); if (index < length) { int nextEscapeSequence = string.indexOf('\\', index); if (nextEscapeSequence == -1) { appendRegion(string, index, length, result); index = length; } else { appendRegion(string, index, nextEscapeSequence, result); index = nextEscapeSequence; } } } return result.toString(); }