void (@NotNull Element node) { if (!myDisabledInspections.isEmpty()) { String joinedString = StringUtil.join(myDisabledInspections, DELIMITER); JDOMExternalizerUtil.writeCustomField(node, SHELLCHECK_SETTINGS_TAG, joinedString); } if (ApplicationManager.getApplication().isDispatchThread()) { Project project = ProjectUtil.guessCurrentProject(myOptionsPanel); EditorNotifications editorNotifications = EditorNotifications.getInstance(project); editorNotifications.updateAllNotifications(); } }