https://javainspires.blogspot.com/2025/07/java-sealed-classes.html