String servletPath = request.getServletPath(); String pathInfo    = request.getPathInfo();
String servletPath = null, pathInfo = null;    if (request.getAttribute(StripesConstants.REQ_ATTR_INCLUDE_PATH) != null) { servletPath = (String) request.getAttribute(StripesConstants.REQ_ATTR_INCLUDE_PATH); pathInfo    = (String) request.getAttribute(StripesConstants.REQ_ATTR_INCLUDE_PATH_INFO); } else { servletPath = request.getServletPath(); pathInfo    = request.getPathInfo(); }
    protected String getRequestedPath(HttpServletRequest request) {        String servletPath = request.getServletPath();        String pathInfo    = request.getPathInfo();        return (servletPath == null ? "" : servletPath) + (pathInfo == null ? "" : pathInfo);    }