Some Helpful Java Servlet Attributes That Are Presumably Documented Somewhere
I'm assuming these are documented somewhere, but they certainly weren't listed in the documentation I have.
Anyhoo:
javax.servlet.forward.request_uri
- the original value returned from request.getRequestURI()
javax.servlet.forward.context_path
- the original value returned from request.getContextPath()
javax.servlet.forward.servlet_path
- the original value returned from request.getServletPath()
(who'd have guessed?)