this.plugins = plugins;
}
void read(Reader in) throws Exception {
final XMLElement root = new XMLElement(new Hashtable<Object, Object>(), true, false);
root.parseFromReader(in);
String rname = root.getName();
if (rname.equals("plugin-list")) {
name = (String) root.getAttribute("name");
if (name == null) {
throw new RuntimeException("Invalid plugin list");
}
for (XMLElement obj : root.getChildren()) {
String name = obj.getName();
if (name.equals("manifest")) {
for (XMLElement ch : obj.getChildren()) {
String xname = ch.getName();
if (xname.equals("attribute")) {