code: public void error(String key, Object ... args) {
          error(diags.errorKey(key, args));
      }
docs: Report an error, unless another error was already reported at same
  source position.
  @param key    The key for the localized error message.
  @param args   Fields of the error message.