public String getId(String url) { String result = url.substring(0, url.length()-sessionEncoding.length()); int pos = result.lastIndexOf("."); if (pos >= 0) result = result.substring(0, pos);
public String getId(String url) { String result; if (url.charAt(0) == '-') { result = url; } else { result = url.substring(0, url.length() - sessionEncoding.length()); }
    public String getId(String url)    {        String result = url.substring(0, url.length()-sessionEncoding.length());        int pos = result.lastIndexOf(".");        if (pos >= 0)            result = result.substring(0, pos);        return result;    }