Arbetarnes stora festdag den 1 maj hade gått in.