for( Element e : DOMUtil.getChildElements(dom) ) {
if(!model.options.pluginURIs.contains(e.getNamespaceURI()))
continue; // this isn't a plugin customization
if(r==null)
r = new CCustomizations();
r.add(new CPluginCustomization(e, DOMLocator.getLocationInfo(e)));
}
if(r==null) r = CCustomizations.EMPTY;
return new CCustomizations(r);
}