code: public String getServletURI(HttpServletRequest req) {
          String uriName = req.getServletPath();
          String pathInfo = req.getPathInfo();
  
          if (pathInfo != null)
              uriName = uriName.concat(pathInfo);
          if (uriName == null || uriName.length() == 0)
              uriName = "/";
  
          uriName = WSUtil.resolveURI(uriName);
          int sindex;
          if ((sindex = uriName.indexOf(";")) != -1) {
              uriName = uriName.substring(0, sindex);
          }
  
          //we need to ensure we are following the java EE spec and handle a colon in the uri
          if (uriName.indexOf(":") >= 0) {
              uriName = uriName.replaceAll(":", "%3A");
          }
  
          return uriName;
      }
docs: Return the full servlet path, including any additional path info.
  
  getRequestURI includes the ContextPath of the URL. As per Servlet 2.2
  specifications, URL mapping does not include the ContextPath. Thus,
  we should use ServletPath + PathInfo.
  
  @param req HttpServletRequest