result.append(":");
result.append(":
    protected String toExternalForm(URL url)    {        StringBuffer result = new StringBuffer(url.getProtocol());        result.append(":");        String bundleId = url.getHost();        if ((bundleId != null) && (bundleId.length() > 0))        {            result.append(bundleId);        }        String path = url.getPath();        if (path != null)        {            if ((path.length() > 0) && (path.charAt(0) != '/'))  /* if name doesn't have a leading slash */            {                result.append("/");            }            result.append(path);        }        return (result.toString());    }