docs: public void setAutoFormattingEnabled(Boolean enable) {
  		final IPreferenceStore store = getWritablePreferenceStore(null);
  		if (enable == null) {
  			store.setToDefault(AUTOFORMATTING_PROPERTY);
  		} else {
  			store.setValue(AUTOFORMATTING_PROPERTY, enable.booleanValue());
  		}
  	}