loader.showError(Strings.get("libDescMissingError"));
return null;
}
String name = elt.getAttribute("name");
String desc = elt.getAttribute("desc");
Library ret = loader.loadLibrary(desc);
if (ret == null) return null;
libs.put(name, ret);
for (Element sub_elt : XmlIterator.forChildElements(elt, "tool")) {
if (!sub_elt.hasAttribute("name")) {
loader.showError(Strings.get("toolNameMissingError"));
} else {
String tool_str = sub_elt.getAttribute("name");
Tool tool = ret.getTool(tool_str);
if (tool != null) {
try {
initAttributeSet(sub_elt, tool.getAttributeSet(), tool);
} catch (XmlReaderException e) {
addErrors(e, "lib." + name + "." + tool_str);