Government employees have enjoyed several long holidays this year. Most recently, they had a four-day…