public static String escapeCodePoint(int codePoint, String language) {
		StringBuilder result = new StringBuilder();
		appendEscapedCodePoint(result, codePoint, language);
		return result.toString();
	}
Utility class to escape Unicode code points using various
languages' syntax.
tool/src/org/antlr/v4/codegen/UnicodeEscapes.java