// This indicates a compiler bug and not a user error,
                // so we cannot recover from such error: we need to force full recompilation.
                throw new CompilationFatalException(e);
            }

            System.err.println(e.getMessage());
            // Explicit flush, System.err is an auto-flushing PrintWriter unless it is replaced.
            System.err.flush();