docs: protected static URL constructUNCTolerantURL(String protocolPrefix, String urlString) throws IOException {
          int protocolDelimiterIndex = urlString.indexOf(':');
          String urlProtocol, urlPath;
          if (protocolDelimiterIndex < 0 || !(urlProtocol = urlString.substring(0, protocolDelimiterIndex)).equalsIgnoreCase(protocolPrefix)) {
              throw new IOException("invalid protocol prefix: the passed urlString: " + urlString + " is not of the specified protocol: " + protocolPrefix);
          }
          urlPath = urlString.substring(protocolDelimiterIndex + 1);
  
          // By using this constructor we make sure the JDK does not attempt to interpret leading characters
          // as a host name. This assures that any embedded UNC encoded string prefixes are ignored and
          // subsequent calls to getPath on this URL will always return the full path string (including the 
          // UNC host prefix).
          URL jarURL = Utils.newURL(urlProtocol, "", -1, urlPath);
          return jarURL;
      }