docs: public String permissionToString(java.security.CodeSource cs, ClassLoader classloaderClass,
                                       PermissionCollection col) {
  
          StringBuffer buf = new StringBuffer("ClassLoader: ");
          if (classloaderClass == null) {
  
              buf.append("Primordial Classloader");
          } else {
  
              buf.append(classloaderClass.getClass().getName());
          }
          buf.append(lineSep);
          buf.append("  Permissions granted to CodeSource ").append(cs).append(lineSep);
  
          if (col != null) {
  
              Enumeration<Permission> e = col.elements();
              buf.append("  {").append(lineSep);
              while (e.hasMoreElements()) {
  
                  Permission p = e.nextElement();
                  buf.append("    ").append(p.toString()).append(";").append(lineSep);
              }
              buf.append("  }");
          } else {
  
              buf.append("  {").append(lineSep).append("  }");
          }
  
          return buf.toString();
      }