public RequestDispatcher getNamedDispatcher(String arg0) { return new RequestDispatcherAdaptor(servletContext.getNamedDispatcher(arg0)); }