void (boolean ensure) { boolean old = myOptions.IS_ENSURE_NEWLINE_AT_EOF; if (old == ensure) return; myOptions.IS_ENSURE_NEWLINE_AT_EOF = ensure; myPropertyChangeSupport.firePropertyChange(PropNames.PROP_IS_ENSURE_NEWLINE_AT_EOF, old, ensure); }