Florida Statutes Title X. Public Officers, Employees, and Records § 122.18. Certain officers and employees not covered

This chapter shall not apply to justices of the Supreme Court or judges of the circuit court who are members of another state retirement system applicable to Supreme Court judges or circuit judges, nor shall it apply to members of the Teachers' Retirement System or members of the Department of Public Safety Retirement System and shall not operate to repeal ss. 25.101,  138.14,  138.19,  1112.05, 238.01-238.16, and 321.02-321.23, nor to affect the rights of any person enjoying the benefits or entitled to enjoy the benefits of such sections.