public static boolean savePathsToPreferences(String enablePathKey, String disabledPathKey,
			Path[] paths) {
		StringBuilder enabledPathBuffer = new StringBuilder();
		StringBuilder disabledPathBuffer = new StringBuilder();
		boolean previousPathDisabled = false;
		for (Path path : paths) {
			if (path.isEnabled()) {
				appendPath(enabledPathBuffer, path.getPathAsString(), previousPathDisabled);
				previousPathDisabled = false;
			}
			else {
				appendPath(disabledPathBuffer, path.getPathAsString(), false);
				appendPath(enabledPathBuffer, "", previousPathDisabled);
				previousPathDisabled = true;
			}
		}
		if (enablePathKey != null) {
			Preferences.setProperty(enablePathKey, enabledPathBuffer.toString());
		}
		if (disabledPathKey != null) {
			Preferences.setProperty(disabledPathKey, disabledPathBuffer.toString());
		}
		return Preferences.store();
	}
Save the specified paths to the user Preferences using the specified keys.
Note: The encoded path Preferences are intended to be decoded by the
{@link #restoreFromPreferences(String, Path[], String)} and
{@link #getPathsFromPreferences(String, Path[], String)} methods.
@param enablePathKey preference key for storing enabled paths
@param disabledPathKey preference key for storing disabled paths
@param paths paths to be saved
@return true if Preference saved properly
Ghidra/Framework/Docking/src/main/java/docking/widgets/pathmanager/PathManager.java