docs: public static void setSystemSARLConfigurationFor(IProject project) {
  		final IPreferenceStore preferenceStore = getSARLPreferencesFor(project);
  		preferenceStore.setValue(IS_PROJECT_SPECIFIC, false);
  	}