public default void domainFileMoved(DomainFile file, DomainFolder oldParent, String oldName) {
		// do nothing
	}
Notification that the domain file was moved.
@param file the file (after move)
@param oldParent original parent folder
@param oldName file name prior to move
Ghidra/Framework/Project/src/main/java/ghidra/framework/model/DomainFolderChangeListener.java