public static String capitalize(String s) {
		return Character.toUpperCase(s.charAt(0)) + s.substring(1);
	}
Given char x or \\t or \\u1234 return the char value;
 Unnecessary escapes like '\{' yield -1.
tool/src/org/antlr/v4/misc/CharSupport.java