@Deprecated
	protected String elementName(String[] tokenNames, int a) {
		return elementName(VocabularyImpl.fromTokenNames(tokenNames), a);
	}
@deprecated Use {@link #elementName(Vocabulary, int)} instead.
runtime/Java/src/org/antlr/v4/runtime/misc/IntervalSet.java