java 17 sealed interface switch