code: private CompletionFailure classFileNotFound(ClassSymbol c) {
              JCDiagnostic diag =
                  diagFactory.fragment("class.file.not.found", c.flatname);
              return newCompletionFailure(c, diag);
          }
docs: where