Dude if you knew anything about the federal "workforce" you would have a completely different opinion.
They earn 17% more than comparable jobs in private industry - but that only counts salary.
In addition they get ridiculously nice benefits, and cannot be fired.
Oh and 95% of them who made political contributions in 2016 gave to Hillary.
They hate Trump.
So you should not cry for the unemployed Fed - you should simply smile each day they remain unemployed.