docs: public void addError(Message message) throws CompilationFailedException {
          addErrorAndContinue(message);
  
          if (errors!=null && this.errors.size() >= configuration.getTolerance()) {
              failIfErrors();
          }
      }