Ceasing to hold office
4. An office-holder shall be treated as not ceasing to hold office for the purpose of this Order where—
(a)he moves from one qualifying judicial office to another; or
(b)at the time that he ceases to hold scheduled office he is entitled to a pension under section 2(2), 2(3), or 2(4) of the 1993 Act; or
(c)he holds scheduled office on the last day of service but has made no election under section 1(2) of the 1993 Act for Part I of the 1993 Act to apply to him.