public static void panic() {
        // can't call tool.panic since there may be multiple tools; just
        // one error manager
        throw new Error("ANTLR ErrorManager 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