Any employee of a community college board who is a member of any reserve component of the United States Armed Services, including the Illinois National Guard, and who is mobilized to active military duty on or after August 1, 1990 shall for each pay period beginning on or after August 1, 1990 continue to receive the same regular compensation that he receives or was receiving as an employee of the community college board at the time he is or was so mobilized to active military duty, plus any health insurance and other benefits he is or was receiving or accruing at that time, minus the amount of his base pay for military service, for the duration of his active military service. If the employee’s active military duty commences on or after the effective date of this amendatory Act of the 100th General Assembly, the military duty shall not result in the loss or diminishment of any employment benefit, service credit, or status accrued at the time the duty commenced.
     In the event any provision of a collective bargaining agreement or any community college board or district policy covering any employee so ordered to active duty is more generous than the provisions contained in this Section the collective bargaining agreement or community college board or district policy shall be controlling.