Retirement: judges; method to calculate unfunded actuarial accrued liability; revise, and provide for certain members to opt out of retiree health benefits. Amends secs. 301, 305, 509, 604, 714 & 719 of 1992 PA 234 (MCL 38.2301 et seq.) & adds secs. 509a & 714a.