code: public void setCodeminingEnabled(Boolean enable) {
  		final IPreferenceStore store = getWritablePreferenceStore(null);
  		if (enable == null) {
  			store.setToDefault(CODEMINING_PROPERTY);
  		} else {
  			store.setValue(CODEMINING_PROPERTY, enable.booleanValue());
  		}
  	}
docs: Enable or disable the codemining feature into the SARL editor.
  
  @param enable is {@code true} if it is enabled; {@code false} if it is disable; {@code null}
  to restore the default value.
  @since 0.8
  @see #getWritablePreferenceStore(Object)