public sealed interface java