public void restoreFromPreferences(String enablePathKey, Path[] defaultEnablePaths,
			String disabledPathKey) {
		pathModel.clear();
		for (Path path : getPathsFromPreferences(enablePathKey, defaultEnablePaths,
			disabledPathKey)) {
			pathModel.addPath(path, addToTop);
		}
	}
Restore paths from user Preferences using the specified keys.
If preferences have never been saved, the specified {@code defaultEnablePaths}
will be used.  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
Ghidra/Framework/Docking/src/main/java/docking/widgets/pathmanager/PathManager.java