java 21 sealed class switch