tiens, comme ça, ça compile () :

public class Main
{
	public static enum Solver
	{
		ABAQUS, CAST3M ;
	}

	public static void main( String[] args )
	{
		int value ;
		Solver solver= (Solver)((Object)new Integer(0xDEAD)) ;
		switch ( solver ) {
			case ABAQUS:
				value= 0 ;
				break ;

			case CAST3M:
				value= 1 ;
				break ;

			default:
				throw new AssertionError() ;
		}
		System.out.println(value) ;
	}
}

Mais ça déclenche une ClassCastException au moment de l'affectation, donc... Je ne vois toujours pas l'intérêt du default

(sur ce je vais me coucher, 'ne nuit )




PS : plus ça va, plus j'ai le sentiment qu'il faudrait déclencher une InternalError à la place d'une AssertionError en fait