Java Sealed Interfaces