Every large bureaucracy has AT LEAST ten percent fat. That is, ten percent of the workforce - if it is the RIGHT ten percent - can be jettisoned without impacting the business. In fact, ninety days later, the survivors will be wondering what the **** the departed 10% were doing all day.
My assessment is based on having worked for not only the U.S. Department of Defense (8 years), but also several other large organizations, and going through cutbacks like this, including being one of the innocent victims.
Frankly, I find it nauseating that when government workers lose their jobs like this it is deemed by the Media as a catastrophe, while in the real world it is no big deal - except for the affected individuals, of course.