private void handleFileChanged(DomainObjectChangedEvent event, DomainObjectChangeRecord rec) {
		if (event.getSource() instanceof Program program) {
			ProgramInfo info = getInfo(program);
			if (info != null) {
				info.programSavedAs(); // updates info to new domain file
			}
			if (currentInfo != null && currentInfo.program == program) {
				String name = program.getDomainFile().toString();
				tool.setSubTitle(name);
			}
		}
	}
Class for tracking open programs in the tool.
Ghidra/Features/Base/src/main/java/ghidra/app/plugin/core/progmgr/MultiProgramManager.java