Given a multi-task process, check that a refresh, after a non-main task has execed, updates things correctly ending up with a process back to the single main task. Ref frysk-imports/tests/process/multi_child_exec.c
The exec observer now works okay. Changed Proc.java.
Woops wrong issue #
added TestRefresh.c::testUnattachedMultipleExec