void fileDeleted(RepositoryFile rf) {
		synchronized (fileSystem) {
			fileMap.remove(rf.getName());
		}
	}
Remove child RepositoryFile which has already been deleted.
@param rf child RepositoryFile
Ghidra/Features/GhidraServer/src/main/java/ghidra/server/store/RepositoryFolder.java