Good catch, Mike.
My impression is that the public pensions were raided a long time ago and are significantly under-funded as it is.
In general, the pensions including private pensions and "defined contribution" retirement plans (401(k)s, 403(b)s) are the biggest remaining financial resource left in the country--and are ripe for plundering--before the baby boomers draw them down.