(1)
A public holiday that occurs during an employee’s annual holidays must be treated as a public holiday and not as part of the employee’s annual holidays.
(2)
Subsection (3) applies if—
the employment of an employee comes to an end; and
the employee is entitled to annual holidays; and
the employee has not taken the annual holidays or has taken only some of them.
(3)
The employee is entitled to be paid for a public holiday if the holiday would have—
otherwise been a working day for the employee; and
occurred during the employee’s annual holidays had the employee taken his or her remaining annual holidays entitlement immediately after the date on which the employee’s employment came to an end.