public void setStripTrailingSpaces(@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);
  }
public void setStripTrailingSpaces(@StripTrailingSpaces String stripTrailingSpaces)