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