One of the concerns going forward is that if the government doesn't intervene to change the model... and one way to do that would be to try to come to an arrangement under which these persons who are effectively civil servants, though not in name, could continue to remain in the plan through an arm's-length company that technically owns the government assets, even though it contracts out the management of those assets.
This seems to me to be a bad precedent for government workers, where government can set up a shell company, transfer its assets, and its employees in some strangely defined way, and tell them they're going to continue to maintain and work with these assets, that they're going to have a different manager from time to time, but they won't have a pension anymore. That seems to me to be a bad model if you're looking at it from the point of view of the people who have maintained these assets for decades.