@Override
	public void domainFileRenamed(DomainFile file, String oldName) {
		domainFileRemoved(file.getParent(), oldName, file.getFileID());
		domainFileAdded(file);
	}
Class to handle changes when a domain folder changes; updates the
tree model to reflect added/removed/renamed nodes.
Ghidra/Framework/Project/src/main/java/ghidra/framework/main/datatree/ChangeManager.java