docs: public ServletContext findContext(String path) {
          WebGroup g = (WebGroup) requestMapper.map(path);
          if (g != null)
              return g.getContext();
          else
              return null;
      }