protected void eventNotificationsCompleted(PvmExecutionImpl execution) {
super.eventNotificationsCompleted(execution);
TransitionImpl transition = execution.getTransition();
ActivityImpl destination;
if(transition == null) { // this is null after async cont. -> transition is not stored in execution
destination = execution.getActivity();
} else {
destination = transition.getDestination();
}
ActivityImpl activity = execution.getActivity();
if (activity!=destination) {
ActivityImpl nextScope = PvmAtomicOperationTransitionNotifyListenerTake.findNextScope(activity, destination);
execution.setActivity(nextScope);
execution.performOperation(TRANSITION_CREATE_SCOPE);
} else {
execution.setTransition(null);
execution.setActivity(destination);