323         StringBuffer outBuffer = new StringBuffer(len*2);  in saveConvert()  local
328                 case '\\':outBuffer.append('\\'); outBuffer.append('\\');  in saveConvert()
330                 case '\t':outBuffer.append('\\'); outBuffer.append('t');  in saveConvert()
332                 case '\n':outBuffer.append('\\'); outBuffer.append('n');  in saveConvert()
334                 case '\r':outBuffer.append('\\'); outBuffer.append('r');  in saveConvert()
336                 case '\f':outBuffer.append('\\'); outBuffer.append('f');  in saveConvert()
340                         outBuffer.append('\\');  in saveConvert()
341                         outBuffer.append('u');  in saveConvert()
342                         outBuffer.append(toHex((aChar >> 12) & 0xF));  in saveConvert()
343                         outBuffer.append(toHex((aChar >> 8) & 0xF));  in saveConvert()
344                         outBuffer.append(toHex((aChar >> 4) & 0xF));  in saveConvert()
345                         outBuffer.append(toHex((aChar >> 0) & 0xF));  in saveConvert()
349                             outBuffer.append('\\');  in saveConvert()
350                         outBuffer.append(aChar);  in saveConvert()
354         return outBuffer.toString();  in saveConvert()