RAY E. GREEN, AS COMPTROLLER OF THE STATE OF FLORIDA, AND THOMAS J. KELLY, AS SHERIFF OF DADE COUNTY, FLORIDA,…