‘Occupy’ protesters march for International Workers’ Day at City Hall.