public void toolError(ErrorType errorType, Object... args) {
		toolError(errorType, null, args);
	}
Raise a predefined message with some number of parameters for the StringTemplate but for which there
is no location information possible.
@param errorType The Message Descriptor
@param args The arguments to pass to the StringTemplate
tool/src/org/antlr/v4/tool/ErrorManager.java