java sealed interface without permits