code: @Nullable
    public static String getPathInfo (@Nonnull final HttpServletRequest aHttpRequest)
    {
      ValueEnforcer.notNull (aHttpRequest, "HttpRequest");
  
      final String sPathInfo = ServletHelper.getRequestPathInfo (aHttpRequest);
      if (StringHelper.hasNoText (sPathInfo))
        return sPathInfo;
  
      return getWithoutSessionID (sPathInfo);
    }
docs: Get the request path info without an eventually appended session
  (";jsessionid=...")
  
  @param aHttpRequest
  The HTTP request
  @return Returns any extra path information associated with the URL the
  client sent when it made this request. The extra path information
  follows the servlet path but precedes the query string and will
  start with a "/" character. The optional session ID is stripped.