"if a constitutional court judge or a judge to whom a salary is payable in terms of this section dies the payment of the salary shall cease with effect from the first day of the month following the month in which he or she died"