(1)

If:

(a) a person is or has been the ABC Commissioner; and
(b) the person is a former Judge of the Federal Court; and
(c) the person ceased to hold office as such a Judge immediately before the beginning of the person's term of appointment, or first term of appointment, as the ABC Commissioner;

the provisions of the Judges' Pensions Act 1968 (including provisions relating to spouses and children) apply to and in relation to the person as though:

(d) the ABC Commissioner were or had been a Judge; and
(e) the person's service as the ABC Commissioner were service as a Judge; and
(f) the appropriate current judicial salary of the person were the salary for the time being payable to a Judge, other than the Chief Judge, of the Federal Court.

(2)

Pensions or other benefits paid as a result of this section are payable out of the Consolidated Revenue Fund, which is appropriated accordingly.