https://www.mymiller.name/wordpress/programming/java/sealed-classes/