private String getContextURI() { if (_exec != null) { String s = _exec.encodeURL("/"); int j = s.lastIndexOf('/'); // might have jsessionid=... return j >= 0 ? s.substring(0, j) + s.substring(j + 1) : s; } return ""; }