public default void domainFileObjectClosed(DomainFile file, DomainObject object) {
		// do nothing
	}
Notification that a domain file previously open for update is in the process of closing.
@param file domain file
@param object domain object which was open for update
Ghidra/Framework/Project/src/main/java/ghidra/framework/model/DomainFolderChangeListener.java