All circuit judges who, on July 1, 1967, are participating in an insurance program for county employees are hereby deemed to be county employees for the purpose of such participation even though there is no actual cash salary supplement received from the county.
Fla. Stat. § 112.081