public static void panic(String msg) {
		rawError(msg);
		panic();
	}
If there are errors during ErrorManager init, we have no choice
 but to go to System.err.
tool/src/org/antlr/v4/tool/ErrorManager.java