@Override
  public void writeSettings(@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();
    }
  }
@Override
  public void writeSettings(@NotNull Element node)