Managing human resources in the public sector during economic downturn