if (extension != null) name += "." + extension;
    public SimpleURL getURL() {        String name = getId();        if (extension != null)            name += "." + extension;        // append the sessionid, if not global        if ((externalizerFlags & ExternalizeManager.GLOBAL) > 0) {            return new SimpleURL(name);        }        else {            RequestURL requestURL = (RequestURL)getPropertyService().getProperty("request.url");            requestURL = (RequestURL) requestURL.clone();            requestURL.setResource(name);            return requestURL;        }    }