code: public void error(DocImpl doc, String key, String a1) {
          if (silent)
              return;
          messager.error(doc==null ? null : doc.position(), key, a1);
      }
docs: Print error message, increment error count.
  
  @param key selects message from resource
  @param a1 first argument