private String manglePath(String path) {
		if (SEPARATOR.equals(path)) {
			return path;
		}
		StringBuilder buf = new StringBuilder();
		String[] split = path.split(SEPARATOR);
		for (String element : split) {
			buf.append(SEPARATOR_CHAR);
			buf.append(escapeHiddenDirPrefixChars(element));
		}
		return NamingUtilities.mangle(buf.toString());
	}
Returns the underlying File object which corresponds to the specified unmangled path.
@param path unmangled path for folder or file
@return File object
@throws FileNotFoundException if specified file path does not begin with '/'
Ghidra/Framework/FileSystem/src/main/java/ghidra/framework/store/local/MangledLocalFileSystem.java