Yes, but not just government workers, it should apply to all retired workers (except politicians), depending on how long they served and what position. It also depends on the amount which they agreed/negotiated for at time of employment.