五一 -- 国际劳动节?

The other day, I was being asked whether or not 1st of May - Labor Day is also public holiday in Australia, I said no.  A bit confused, why "International Labor day"?, it seems not really international. As I know in Australia, the Labor Day is the first Monday of October ( http://www.industrialrelations.nsw.gov.au/holidays/).