/** * Return the unicode escape sequence for a character, in the form * \u005CuNNNN. * @param ch the character to encode * @return the unicode escape sequence */ private String escapeUnicode(final char ch) { return "\\" + UnicodeUtil.EscapeUnicode(ch); }
char achar = (char) ch; if (achar >= '\u0080') { unicodeBuf = UnicodeUtil.EscapeUnicode(achar); ch = '\\';