An amount payable by virtue of a judge being an employee for the purposes of the Public Sector Superannuation Reform Act 2016 is payable out of the Public Account which, to the necessary extent, is appropriated accordingly.