I don't want to sound cold hearted, but who cares? The feds have been stealing we mere mortals' retirement for decades. Ever heard of Social Security? Most all non-government employees pay into it (the self employed do not all pay into the fund) and the feds have raided it into insolvency. All the while, government employees' pensions/retirements have been shielded from this government sanctioned theft. Perhaps suffering a bit of the pain that we have suffered for decades will finally convince them that such behavior on the part of the feds is in fact not alright.
OMS: Military and Civil Service employees are currently required to pay social security tax at the same rate as anyone else.
Civil service employees participate in the TSP (Thrift Savings Plan) as a govt equivalent to a corporate 401(k). In some ways, it may be better than the savings plans offered by private companies (some costs of administration as smaller, they claim) and the govt does have a matching program which encourages participation. However, the choices of investments within the plan are dismal. If not for the matching program and the fact that the income is tax-deferred, many people probably wouldn't participate at all.
As far as people who were civil servants not paying SS tax, I know a little bit from family experience: My Dad, who retired several years ago was one of those folks who was transferred into a different system several years into his work career with the Dept. of Agriculture. Basically, what happened with him was that, after he had been paying into the social security system for several years, he was transferred into the new system (don't know the acronym - perhaps CPRS). This meant that he would not be eligible for any social security benefits at all, even though he had already paid into the system for years. From what he said, he got no credit at all for the years he had already paid in. Those folks had more of their money stolen by their generous benefactor than those not working as civil servants at the time.
Years later, he fought with the social security folks to at least receive social security benefits from the payments he made as a military member (it isn't a very large amount, but it was the principle of the thing). Somehow, as one of those employees who fell into this category, the SS administration recorded that all his benefits were eliminated, regardless of whether he had contributions from some other work. Even after he got them to admit their mistake, he didn't receive any back payments, from what I understand.
Now, I am in agreement with you that our govt bureaucracy has gotten so huge and out of control that I would like to see a very large amount of it cut... which would mean that many folks would lose their govt jobs and be forced into the private sector. However, those folks who are working in those jobs for whatever reason aren't deserving of theft of their personally saved money any more than anyone else.