public void setSoftWrapFileMasks(@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);
  }
public void setSoftWrapFileMasks(@NotNull String value)