void (@NotNull String value) { String old = myOptions.SOFT_WRAP_FILE_MASKS; if (value.equals(old)) return; // `value` is not null myOptions.SOFT_WRAP_FILE_MASKS = value; myPropertyChangeSupport.firePropertyChange(PropNames.PROP_SOFT_WRAP_FILE_MASKS, old, value); }