Worker getWorker() {
		return worker;
	}
If version numbers are different, get changes made by others since my
checkout and launch update thread if necessary.
Ghidra/Features/Base/src/main/java/ghidra/app/plugin/core/misc/MyProgramChangesDisplayPlugin.java