synchronized void setProgram(Program program) {
			this.program = program;
			types.clear();
		}
Runner used in thread to update bookmark display in the marker margins.
Ghidra/Features/Base/src/main/java/ghidra/app/plugin/core/bookmark/BookmarkPlugin.java