https://www.mymiller.name/wordpress/programming/java/pattern-matching-for-switch/