private void programClosed(Program program) {
			map.remove(program);
			MarkerManager.this.programClosed(program);
		}
A LRU map that maintains <i>insertion-order</i> iteration over the elements. As new items are
added, the older items will be removed from this map the given plugin.
Ghidra/Features/Base/src/main/java/ghidra/app/plugin/core/marker/MarkerManager.java