void (@NotNull Element state) { int savedVersion = StringUtilRt.parseInt(state.getAttributeValue(ATTRIBUTE_VERSION), 0); for (Element element : state.getChildren()) { if (ELEMENT_IGNORE_FILES.equals(element.getName())) { myIgnoredPatterns.setIgnoreMasks(Strings.notNullize(element.getAttributeValue(ATTRIBUTE_LIST))); } else if (ELEMENT_EXTENSION_MAP.equals(element.getName())) { readGlobalMappings(element, false); } } migrateFromOldVersion(savedVersion); clearIgnoredFileCache(); myDetectionService.loadState(state); }