java sealed class switch statement