public static String getNormalizedFilePath(File f) {
		return f.getPath().replace('\\', '/');
	}
Converts a file's path into forward-slash form.

@param f
@return
Ghidra/Features/FunctionID/ghidra_scripts/MSLibBatchImportGenerator.java