Section 7: Pension and gratuity to be paid to dependent, etc. where a pensioner dies in service.

1 Where a personnel dies in the course of official duty, there shall be paid to his next of kin a gratuity to which the personnel may be entitled to at the date of his death.

2 Where a personnel dies before completing the minimum period of qualifying service, his next of kin shall be paid a death gratuity of one year's salary only.

3 Any pension payable under subsection (1) is paid to any person entitled thereto for a period expiring at the end of five years after the death of the personnel, a lump sum representing five years pensions may be paid immediately to the person entitled to it.