p++;
        }
        if (p == len) {
            return null;
        }

        /* collect server name */
        while (p < len && (ch = pathInfo.charAt(p)) != '/') {
            out[i] = ch;
            i++;
            p++;
        }
        while (p < len && pathInfo.charAt(p) == '/') {
            p++;
        }
        if (p < len) { /* then there must be a share */
            out[i] = '/';

        state = 0;
        for (i = j = 0; i < len; i++) {
            switch (state) {
            case 0:
                ch = str.charAt(i);
                if (ch == '%') {
                    state = 1;
                } else {
                    out[j++] = ch;
                }
                break;
            case 1:
                /*
                 * Get ASCII hex value and convert to platform dependent