code: private Type enterSyntheticAnnotation(String name) {
          // for now, leave the module null, to prevent problems from synthesizing the
          // existence of a class in any specific module, including noModule
          ClassType type = (ClassType)enterClass(java_base, names.fromString(name)).type;
          ClassSymbol sym = (ClassSymbol)type.tsym;
          sym.completer = Completer.NULL_COMPLETER;
          sym.flags_field = PUBLIC|ACYCLIC|ANNOTATION|INTERFACE;
          sym.erasure_field = type;
          sym.members_field = WriteableScope.create(sym);
          type.typarams_field = List.nil();
          type.allparams_field = List.nil();
          type.supertype_field = annotationType;
          type.interfaces_field = List.nil();
          return type;
      }
docs: This class does not have a class file.