Object old_context_path=replaceAttribute(realRequest, A_CONTEXT_PATH,
context.getPath());
Object old_servlet_path=replaceAttribute(realRequest, A_SERVLET_PATH,
subRequest.servletPath().toString());
Object old_path_info=replaceAttribute(realRequest, A_PATH_INFO,
subRequest.pathInfo().toString());
Object old_query_string=replaceAttribute(realRequest, A_QUERY_STRING,
queryString);
if( debug ) {
System.out.println("RDI: old " + old_request_uri + " " +