code: private String toTag(String name, Archive source, Analyzer.Type type) {
          if (!isJDKArchive(source)) {
              return source.getName();
          }
  
          JDKArchive jdk = (JDKArchive)source;
          boolean isExported = false;
          if (type == CLASS || type == VERBOSE) {
              isExported = jdk.isExported(name);
          } else {
              isExported = jdk.isExportedPackage(name);
          }
          Profile p = getProfile(name, type);
          if (isExported) {
              // exported API
              return options.showProfile && p != null ? p.profileName() : "";
          } else {
              return "JDK internal API (" + source.getName() + ")";
          }
      }
docs: If the given archive is JDK archive, this method returns the profile name
  only if -profile option is specified; it accesses a private JDK API and
  the returned value will have "JDK internal API" prefix
  
  For non-JDK archives, this method returns the file name of the archive.