code: public void error(SourcePosition pos, String key) {
          if (silent)
              return;
          messager.error(pos, key);
      }
docs: Print error message, increment error count.
  
  @param key selects message from resource