example of java 17 sealed class