void (final boolean val) { boolean old = myOptions.RENAME_VARIABLES_INPLACE; if (old == val) return; myOptions.RENAME_VARIABLES_INPLACE = val; myPropertyChangeSupport.firePropertyChange(PropNames.PROP_RENAME_VARIABLES_INPLACE, old, val); }