Java Sealed Class Switch Recombination