public default void domainFileRemoved(DomainFolder parent, String name, String fileID) {
		// do nothing
	}
Notification that a file was removed
@param parent domain folder which contained the file that was just removed.
@param name the name of the file that was removed.
@param fileID file ID or null
Ghidra/Framework/Project/src/main/java/ghidra/framework/model/DomainFolderChangeListener.java