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