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();
}