code: public ClassFinder.BadClassFile badClassFile(String key, Object... args) {
          return new ClassFinder.BadClassFile (
              currentOwner.enclClass(),
              currentClassFile,
              diagFactory.fragment(key, args),
              diagFactory);
      }
docs: **********************************************************************
  Error Diagnoses
  *********************************************************************