void (@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); } }