[Uncle Chip]

Exactly —

If they wanted to do what is right they should have taken the money out of the Federal Employees pension fund.

[WashingtonSource]

Only if they reduced the benefit the federal retirees at the same time — since taxpayers are on the hook for those benefits.