I hope they go to court, then the local and state government will have to claim bankruptcy which they, in fact, are - and the $85K/year retirees will have to renegotiate their whole package to something the taxpayers can afford. Closer to $40K/year if that.
There's no reason to let them escape through bankruptcy.