Searched refs:servlet_el (Results 1 – 1 of 1) sorted by relevance
1283 Element servlet_el = (Element) servlets.item(i); in processWebXml() local1284 NodeList names = servlet_el.getElementsByTagName("servlet-name"); in processWebXml()1294 NodeList child_nodes = servlet_el.getChildNodes(); in processWebXml()