Sealed Classes in Java 17