(a) Any semi-retired or retired circuit judge in the Eleventh Judicial Circuit shall be entitled to receive as additional compensation payable from the treasury of the county, a sum equal to one and one half percent of the compensation paid the judge by the State of Alabama for each year served as circuit judge up to a maximum of 25 percent. The salaries or compensation provided for herein is supplementary to the salaries or compensation paid the judges by the state and shall be paid out of the general funds of the county in 12 equal monthly installments on warrants properly drawn against the funds.
(b) The additional compensation may not be paid to a semi-retired or retired circuit judge who has not vested in the Retirement Systems of Alabama as of July 1, 2010.
(c) Each circuit judge receiving a retirement supplement pursuant to this section and who has vested in the Retirement Systems of Alabama shall receive a retirement supplement pursuant to the formula provided in subsection (a).