SECTION 15. Employees covered by the terms of the collective bargaining agreements in item 1599-4131 of section 2A of Chapter 192 of the Acts of 2006 who, after July 1, 2001, retired or otherwise terminated employment, or the beneficiary of such an employee who died after July 1, 2001, shall be paid, not later than 30 days after the effective date of this act, a lump sum amount equal to the difference between: (a) the salary specified in the relevant agreement; and (b) the salary each received for the time they were employed during the period July 1, 2001 through June 30, 2002; provided, however, that notwithstanding chapter 32 of the General Laws, the amount of the retirement allowance paid under said chapter 32 to an employee who prior to retirement was covered by the terms of the collective bargaining agreements in said items 1599-4131 of said section 2A of Chapter 192 of the Acts of 2006 and who retired after July 1, 2001, shall be calculated as though the employee's regular compensation for any period of employment from July 1, 2001 through June 30, 2002 had been received by the employee in accordance with such agreement and appropriate retirement deductions withheld. Appropriate adjustments shall be made to an employee's retirement allowance, including payments retroactive to the effective date of retirement.

      Employees covered by the terms of the collective bargaining agreements in item 1599-4133 of section 2A of Chapter 192 of the Acts of 2006 who, after July 1, 2001, retired or otherwise terminated employment, or the beneficiary of such an employee who died after July 1, 2001, shall be paid, not later than 30 days after the effective date of this act, a lump sum amount equal to the difference between: (a) the salary specified in the relevant agreement; and (b) the salary each received for the time they were employed during the period July 1, 2001 through June 30, 2002; provided, however, that notwithstanding chapter 32 of the General Laws, the amount of the retirement allowance paid under said chapter 32 to an employee who prior to retirement was covered by the terms of the collective bargaining agreements in said item 1599-4133 of said section 2A of Chapter 192 of the Acts of 2006, and who retired after June 30, 2001, shall be calculated as though the employee's regular compensation for any period of employment from July 1, 2001 through July 1, 2002 had been received by the employee in accordance with such agreement and appropriate retirement deductions withheld. Appropriate adjustments shall be made to an employee's retirement allowance, including payments retroactive to the effective date of retirement.