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();
}