public static String makePathname(String parentPath, String childName) {
		String path = parentPath.endsWith(FileSystem.SEPARATOR)
				? parentPath.substring(0, parentPath.length() - FileSystem.SEPARATOR.length())
				: parentPath;
		return path + FileSystem.SEPARATOR + childName;
	}
Returns true if this folder is a descendant of the specified folder
Ghidra/Features/GhidraServer/src/main/java/ghidra/server/store/RepositoryFolder.java