is your point that there are judges who occasionally make bad rullings? the case in the op has already been reversed
so no government vaccine mandate here