public default void domainFolderRenamed(DomainFolder folder, String oldName) {
		// do nothing
	}
Notify listeners when a domain folder is renamed.
@param folder folder that was renamed
@param oldName old name of folder
Ghidra/Framework/Project/src/main/java/ghidra/framework/model/DomainFolderChangeListener.java