public static List<String> pathToParts(String path) {
		String[] parts = path.split("\\\\|/");
		List<String> list = new ArrayList<>(parts.length);
		for (String part : parts) {
			list.add(part);
		}
		return list;
	}
Ensures the specified {@link File} points to a valid existing file,
regardless of case match of the file's name.
<p>
Does not fixup any case-mismatching of the parent directories of the specified
file.
<p>
If the exact filename already exists, it is returned unchanged, otherwise
an all-lowercase version of the filename is probed, and then an all-uppercase
version of the filename is probed, returning it if found.
<p>
Finally, the entire parent directory of the specified file is listed, and the first
file that matches, case-insensitively to the target file, is returned.
<p>
If no file is found that matches, the original File instance is returned.
<p>
See also {@link #existsAndIsCaseDependent(ResourceFile)}.

@param f File instance
@return File instance pointing to a case-insensitive match of the File parameter
Ghidra/Framework/Utility/src/main/java/utilities/util/FileUtilities.java