private static void appendPath(StringBuilder buf, String path, boolean previousPathIsEmpty) {
		if (buf.length() != 0 || previousPathIsEmpty) {
			buf.append(File.pathSeparatorChar);
		}
		buf.append(path);
	}
Restore paths from user Preferences using the specified keys.
If preferences have never been saved, the specified {@code defaultEnablePaths}
will be returned.  Note: the encoded path list must have been stored
using the same keys using the {@link #savePathsToPreferences(String, String, Path[])}
or {@link #saveToPreferences(String, String)} methods.
@param enablePathKey preference key for storing enabled paths
@param defaultEnablePaths default paths
@param disabledPathKey preference key for storing disabled paths
@return ordered paths from Preferences
Ghidra/Framework/Docking/src/main/java/docking/widgets/pathmanager/PathManager.java