}

    /**
     * Derive the path portion of the given URL.
     *
     * @param url the repository URL
     * @return the basedir of the repository
     * TODO need to URL decode for spaces?
     */
    private String basedir(String url) {
        String retValue = null;

        if (protocol.equalsIgnoreCase("file")) {
            retValue = url.substring(protocol.length() + 1);