+ // we didn't find a selected MachineDebugTarget
+ updateContextAndCallContextChanged(null);
+ }
+
+ private void updateContextAndCallContextChanged(MachineDebugTarget newTarget)
+ {
+ MachineDebugTarget oldTarget = this.debugTarget;
+ this.debugTarget = newTarget;
+ machineDebugContextChanged(Optional.ofNullable(oldTarget), Optional.ofNullable(newTarget));