public static Set<File> getGhidraInstallDirs() {
		IPreferenceStore prefs = Activator.getDefault().getPreferenceStore();
		String ghidraInstallDirPaths = prefs.getString(GHIDRA_INSTALL_PATHS);
		if (ghidraInstallDirPaths.isEmpty()) {
			return Collections.emptySet();
		}
		return Arrays.stream(ghidraInstallDirPaths.split(File.pathSeparator)).map(
			p -> new File(p)).collect(Collectors.toSet());
	}
Gets the set of Ghidra installation directories that's defined in the preferences.

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