void addPaths(String[] paths, boolean addToTop, boolean sorted) {
		if (addToTop) {
			pathList.addAll(0, Arrays.asList(paths));
		}
		else {
			pathList.addAll(Arrays.asList(paths));
		}
		if (sorted) {
			sortPaths();
		}
		fireTableDataChanged();
	}
@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