Improved support for Java 17 Sealed Classes