code: protected void dispatch(String pathInContext,
                              HttpServletRequest request,
                              HttpServletResponse response,
                              ServletHolder servletHolder, 
                              int type)
          throws ServletException,
                 UnavailableException,
                 IOException
      {
          servletHolder.handle(request,response);
      }
docs: Dispatch to a servletHolder.
  This method may be specialized to insert extra handling in the
  dispatch of a request to a specific servlet. This is used by
  WebApplicatonHandler to implement dispatched filters.
  The default implementation simply calls
  ServletHolder.handle(request,response)
  @param pathInContext The path used to select the servlet holder.
  @param request
  @param response
  @param servletHolder
  @param type the type of dispatch as defined in the Dispatcher class.
  @exception ServletException
  @exception UnavailableException
  @exception IOException