public default void domainFileStatusChanged(DomainFile file, boolean fileIDset) {
		// do nothing
	}
Notification that the status for a domain file has changed.
@param file file whose status has changed.
@param fileIDset if true indicates that the previously missing fileID has been
established for the specified file.
Ghidra/Framework/Project/src/main/java/ghidra/framework/model/DomainFolderChangeListener.java