code: static String getScriptName(final HttpServletRequest pRequest) {
          String requestURI = pRequest.getRequestURI();
          return StringUtil.getLastElement(requestURI, "/");
      }
docs: Gets the name of the servlet or the script that generated the servlet.
  
  @param pRequest The HTTP servlet request object.
  @return the script name.
  @todo Read the spec, seems to be a mismatch with the Servlet API...
  @see javax.servlet.http.HttpServletRequest#getServletPath()