void moveDown(JTable table, int index) {
		if (index < 0 || index >= pathList.size()) {
			return;
		}
		int size = pathList.size();
		int newIndex = 0;
		String path = pathList.remove(index);
		if (index == size - 1) {
			// move to the top of the list
			pathList.add(0, path);
		}
		else {
			newIndex = index + 1;
			pathList.add(index + 1, path);
		}
		notifyDataChanged(table, newIndex);
	}
@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