void (boolean value) { boolean oldValue = myOptions.ENABLE_RENDERED_DOC; myOptions.ENABLE_RENDERED_DOC = value; if (oldValue != value) { myPropertyChangeSupport.firePropertyChange(PROP_DOC_COMMENT_RENDERING, oldValue, value); } }