@Override
	protected void programClosed(Program program) {
		// assumption: at this point programDeactivated(Program) has been called, so we don't
		// have to perform any cleanup that is done by that method.
		provider.programClosed();
		editorManager.dismissEditors(program.getDataTypeManager());
	}
A collection of files that have recently been opened by the user.
@return A collection of files that have recently been opened by the user.
Ghidra/Features/Base/src/main/java/ghidra/app/plugin/core/datamgr/DataTypeManagerPlugin.java