California Code, Government Code - GOV § 75109

If the Judges' Retirement System determines that there has been an overpayment of contributions or that any amount not required to be paid under this chapter has been paid by a judge, the Judges' Retirement System shall refund the amount of the overpayment or excess payment to the judge. So much money as may be necessary is hereby appropriated from the Judges' Retirement Fund for the purpose of making refunds under this section.