From what I understand from my JPA briefing, the system has yet to have a provision for claiming days off in lieu of public holidays worked. Great to roll it out on 1 Apr when we have easter and 2 PHs in May; all those poor souls who will end up working will no doubt loose that time off (another erosion of the quality of life that we once experienced).
And for Southside who will, no doubt, add that some civvies also get stitched work over PHs - yup they do, but they also get double time pay!