private static List<String> getSymbolSearchPaths() {
		String searchPathStr = Preferences.getProperty(SYMBOL_SEARCH_PATH_OPTION, "", true);

		String[] pathParts = searchPathStr.split(";");
		List<String> result = new ArrayList<>();
		for (String part : pathParts) {
			part = part.trim();
			if (!part.isEmpty()) {
				result.add(part);
			}
		}
		return result;
	}
Persists the {@link SymbolStore} and {@link SymbolServer}s contained in the
{@link SymbolServerService}.

@param symbolServerService {@link SymbolServerService} to save, or null if clear p
reference values
Ghidra/Features/PDB/src/main/java/pdb/PdbPlugin.java