void (boolean val) { boolean old = myOptions.ADDITIONAL_PAGE_AT_BOTTOM; if (old == val) return; myOptions.ADDITIONAL_PAGE_AT_BOTTOM = val; myPropertyChangeSupport.firePropertyChange(PropNames.PROP_ADDITIONAL_PAGE_AT_BOTTOM, old, val); }