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