public static void setGhidraInstallDirs(Set<File> dirs) {
		IPreferenceStore prefs = Activator.getDefault().getPreferenceStore();
		String paths = dirs.stream().map(dir -> dir.getAbsolutePath()).collect(
			Collectors.joining(File.pathSeparator));
		prefs.setValue(GHIDRA_INSTALL_PATHS, paths);
	}
Sets the set of Ghidra installation directories that's defined in the preferences.

@param dirs The set of Ghidra installation directories that's defined in the preferences.
GhidraBuild/EclipsePlugins/GhidraDev/GhidraDevPlugin/src/main/java/ghidradev/ghidraprojectcreator/preferences/GhidraProjectCreatorPreferences.java