--- "effect": patch --- change default ErrorReporter severity to Info