public void setCurrentVM(VirtualMachine vm) {
		this.curVM = vm;
		if (!vms.containsValue(vm)) {
			addVM(vm);
		}
	}
NB: can't use manager.connectedVMs, because technically, other things could be using the
JDI outside of this manager.
Ghidra/Debug/Debugger-jpda/src/main/java/ghidra/dbg/jdi/manager/impl/JdiManagerImpl.java