protected String elementName(Vocabulary vocabulary, int a) {
		if (a == Token.EOF) {
			return "<EOF>";
		}
		else if (a == Token.EPSILON) {
			return "<EPSILON>";
		}
		else {
			return vocabulary.getDisplayName(a);
		}
	}
@deprecated Use {@link #elementName(Vocabulary, int)} instead.
runtime/Java/src/org/antlr/v4/runtime/misc/IntervalSet.java