It doesn't say that they are government pension plans. The article says they can take their pensions at 60, which suggests these are not from the government, because then they probably could have retired at 55. Also, the article doesn't say that the pensions are indexed, but if they are in the private sector, they probably aren't.