private static void writeOptionsForRestart(@NotNull Path newConfigDir, @NotNull Logger log) {
    List<String> properties = new ArrayList<>();
    properties.add(FIRST_SESSION_KEY);
    if (isConfigImported()) {
      properties.add(CONFIG_IMPORTED_IN_CURRENT_SESSION_KEY);
    }

    try {
      new CustomConfigMigrationOption.SetProperties(properties).writeConfigMarkerFile(newConfigDir);
    }
    catch (IOException e) {
      log.error("cannot write config migration marker file to " + newConfigDir, e);
    }
  }
private static void writeOptionsForRestart(@NotNull Path newConfigDir, @NotNull Logger log)