[sealed] ECJ rejects casting from a sealed interface that permits a non-sealed class

[sealed] ECJ rejects casting from a sealed interface that permits a non-sealed class #8922