protected void saveSettings(final String xmlFilename) throws IOException {
   final Element root = new Element("Settings");
   root.addContent(viewer.stateToXml());
   root.addContent(setupAssignments.toXml());
   root.addContent(manualTransformation.toXml());
   root.addContent(bookmarks.toXml());
   final Document doc = new Document(root);
   final XMLOutputter xout = new XMLOutputter(Format.getPrettyFormat());
   xout.output(doc, new FileWriter(xmlFilename));
 }
 protected void loadSettings(final String xmlFilename) throws IOException, JDOMException {
   final SAXBuilder sax = new SAXBuilder();
   final Document doc = sax.build(xmlFilename);
   final Element root = doc.getRootElement();
   viewer.stateFromXml(root);
   setupAssignments.restoreFromXml(root);
   manualTransformation.restoreFromXml(root);
   bookmarks.restoreFromXml(root);
   activeSourcesDialog.update();
   viewer.requestRepaint();
 }