public static char[] toCharArray(IntegerList data) {
		if ( data==null ) return null;
		return data.toCharArray();
	}
Convert array of strings to string&rarr;index map. Useful for
 converting rulenames to name&rarr;ruleindex map.
runtime/Java/src/org/antlr/v4/runtime/misc/Utils.java