/** Write keybinding info to an element */ public void writeXML(Element e) { e.setAttribute("plugin", pluginName); e.setAttribute("desc", description); for (KeyBindingType t : types) t.writeXML(e); }