setAttributeByTagName(new String[]{"options", "loadplugins"}, Boolean.toString(settings.shouldLoadPluginsOnStartup()));
    public void saveSettings(Settings settings) {        setAttributeByTagName(new String[]{"options", "farben", "aktiv"},                Boolean.toString(settings.isFarbenAktiv()));        setAttributeByTagName(new String[]{"options", "farben", "hintergrund", "downloadFertig"},                Integer.toString(settings.getDownloadFertigHintergrundColor().getRGB()));        setAttributeByTagName(new String[]{"options", "farben", "hintergrund", "quelle"},                Integer.toString(settings.getQuelleHintergrundColor().getRGB()));        setAttributeByTagName(new String[]{"options", "download", "uebersicht"},                Boolean.toString(settings.isDownloadUebersicht()));        informSettingsListener(settings);    }