public static void setGhidraLastGradleDistribution(GradleDistribution gradleDistribution) {
		IPreferenceStore prefs = Activator.getDefault().getPreferenceStore();
		if (gradleDistribution != null) {
			prefs.setValue(GHIDRA_LAST_GRADLE_DISTRIBUTION, gradleDistribution.toString());
		}
		else {
			prefs.setToDefault(GHIDRA_LAST_GRADLE_DISTRIBUTION);
		}
	}
Sets the last used Ghidra Gradle distribution that's defined in the preferences.

@param gradleDistribution The last used Ghidra Gradle distribution that's defined in the 
  preferences.  Could be null if the preference should be set to the default.
GhidraBuild/EclipsePlugins/GhidraDev/GhidraDevPlugin/src/main/java/ghidradev/ghidraprojectcreator/preferences/GhidraProjectCreatorPreferences.java