A federal judge blocked the federal employee buyout offer