Due to a subtlety of the design, yes, there will be another Suspended->Retiring transition in this case. Internally, there are two kinds of retirement: reversible and irreversible. PREEMPT causes a transition to irreversible retirement, while a preempting claim causes a transition to reversible retirement, so if the preempting claim goes away before the retirement is completed, the original claim backs out of retirement.
--------------------------------------------------------------------- Dr. J. S. Morgan Tel. 0151-794-3746 (3719 for messages) Computing Services Department Fax. 0151-794-3759 The University of Liverpool email. J.S.Morgan @ liv.ac.uk Chadwick Building Peach Street Liverpool L69 7ZF ---------------------------------------------------------------------