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