void sortPaths() {
		// Not the most efficient, but we also want to de-duplicate
		Set<String> paths = new TreeSet<>(pathList);
		pathList.clear();
		pathList.addAll(paths);
	}
@param paths initial list of paths; may be null
@param isEditable true if the path should be editable
Ghidra/Framework/Docking/src/main/java/docking/widgets/pathmanager/PathnameTableModel.java