void (boolean val) { boolean oldValue = myOptions.IS_VIRTUAL_SPACE; if (oldValue == val) return; myOptions.IS_VIRTUAL_SPACE = val; myPropertyChangeSupport.firePropertyChange(PropNames.PROP_IS_VIRTUAL_SPACE, oldValue, val); }