36fb459bd9
Update ExhaustiveSwitch so that it compiles with java 20. "case default" is not allowed anymore.
Update ExhaustiveSwitch so that it compiles with java 20. "case default" is not allowed anymore.