It resulted in a $10 ticket tax that raised more than $250m for employee entitlements
If I recall correctly, not one cent of the ticket tax went to staff entitlements. It was designed to be a guarantee of staff entitlements. Asset sales managed to cover the bulk of the entitlements (90 + %) & the take from the ticket tax went into general revenue. Something the government was very quiet about!