Text this: [Permitting recipients of lump-sum benefits under employees' compensation act to receive civil service pensions.].