That holds for most retired government workers. Today industries are dropping pension and giving employees extra money for 401k's. You quit or retire, there is no pension or health care supplemental.
I know of a naval commander who just retired on a disability for two hip replacements. Not only is he collecting above his normal pension but has gone back to his job at the Pentagon as a paid consultant.
Then there is a guy I know collecting pensions from the city, county and state.