I don’t consider the military as federal employees.....thought they are. Anyone getting shot at has earned their pay.
And I doubt Ron Johnson considers Congressmen and Senators and their staffs to be 'federal employees' either for the purposes of these cuts either. But both categories are.