java 17 sealed class switch