Alabama Code Title 45. Local Laws § 45-49-81.41

The Mobile County Commission shall pay annual compensation to any circuit judge in the Thirteenth Judicial Circuit who is entitled to purchase any prior service credit in the Judicial Retirement Fund under Section 12-18-8.2, in an amount equal to the total employer contributions that are required by the fund for purchase of the prior service credit. The judge shall pay the employee contributions, as required by the most recent actuarial valuation for the fund, for purchase of the prior service credit. The annual compensation may be paid to the judge by the county in either equal monthly installments or in a lump sum as the judge may elect. When the judge has been compensated by the county in an amount that is sufficient to cover the total employer contributions required for purchase of the prior service credit, the annual compensation provided by this section shall terminate.