public default void domainFileRenamed(DomainFile file, String oldName) {
		// do nothing
	}
Notification that the domain file was renamed.
@param file file that was renamed
@param oldName old name of the file
Ghidra/Framework/Project/src/main/java/ghidra/framework/model/DomainFolderChangeListener.java