/* ------------------------------------------------------------ */
protected void initServletMapping(XmlParser.Node node)
{
String servlet_name = node.getString("servlet-name",false,true);
ServletMapping mapping = new ServletMapping();
mapping.setServletName(servlet_name);
ArrayList paths = new ArrayList();
Iterator iter=node.iterator("url-pattern");
while(iter.hasNext())
{
String p=((XmlParser.Node)iter.next()).toString(false,true);
p=normalizePattern(p);
paths.add(p);
}
mapping.setPathSpecs((String[])paths.toArray(new String[paths.size()]));
_servletMappings=LazyList.add(_servletMappings,mapping);
}