public void setAdditionalOptions(@NotNull JpsJavaCompilerOptions settings, @NotNull Module module, @NotNull List<String> options) {
    String previous = settings.ADDITIONAL_OPTIONS_OVERRIDE.getOrDefault(module.getName(), settings.ADDITIONAL_OPTIONS_STRING);
    String newValue = ParametersListUtil.join(options);
    if (!newValue.equals(previous)) {
      settings.ADDITIONAL_OPTIONS_OVERRIDE.put(module.getName(), newValue);
      clearBuildManagerState(myProject);
    }
  }
public void setAdditionalOptions(@NotNull JpsJavaCompilerOptions settings, @NotNull Module module, @NotNull List<String> options)