code: protected void initServletMapping(XmlParser.Node node)
      {
          String name=node.getString("servlet-name",false,true);
          String pathSpec=node.getString("url-pattern",false,true);
          getWebApplicationHandler().mapPathToServlet(pathSpec,name);
      }
docs: /* ------------------------------------------------------------