void (@NotNull Element node) { super.readSettings(node); for (Element extension : node.getChildren("disabledExtension")) { final String id = extension.getAttributeValue("id"); if (id != null) { myExtensions.put(id, false); } } }