code: void setServletPaths(String servletPath,
                           String pathInfo,
                           ServletHolder holder)
      {
          _servletPath=servletPath;
          _pathInfo=pathInfo;
          _servletHolder=holder;
      }
docs: Set servletpath and pathInfo.
  Called by the Handler before passing a request to a particular
  holder to split the context path into a servlet path and path info.
  @param servletPath
  @param pathInfo