docs: private static String javaLangSpelling(
        Elements elementUtils, String codePackageName, TypeElement typeElement) {
      // If this is java.lang.Thread.State or the like, we have to look for a clash with Thread.
      TypeElement topLevelType = topLevelType(typeElement);
      TypeElement clash =
          elementUtils.getTypeElement(codePackageName + "." + topLevelType.getSimpleName());
      String fullName = typeElement.getQualifiedName().toString();
      return (clash == null) ? fullName.substring("java.lang.".length()) : fullName;
    }