That is correct. Normal Monday to Friday full time workers regardless of industry get 4 weeks leave even if they work overtime (some EBA's give more or zone allowances),and 10 public holidays/year.
Shift workers get 6 weeks per year to compensate the fact they often have to work public holidays in their roster.