void (@StripTrailingSpaces String stripTrailingSpaces) { String old = myOptions.STRIP_TRAILING_SPACES; if (Objects.equals(old, stripTrailingSpaces)) return; myOptions.STRIP_TRAILING_SPACES = stripTrailingSpaces; myPropertyChangeSupport.firePropertyChange(PropNames.PROP_STRIP_TRAILING_SPACES, old, stripTrailingSpaces); }