They need to cut employees, cut wages, and cut benefits, and challenge the unions. That's the only way to get civil service compensation back to par with civilian compensation. Currently it's 55% higher on average than non-government compensation. It was only 5% higher in 2000.