. . . . "The ruling effectively shifts Florida's retirement system from a noncontributory to a contributory pension plan for the 623,000 workers in the system, including teachers, firefighters, police and other state and local government employees." . . .