public enum Solver
{
	ABAQUS, CAST3M ; 
}

correspond à :

// Decompiled by Jad v1.5.8g. Copyright 2001 Pavel Kouznetsov.
// Jad home page: http://www.kpdus.com/jad.html
// Decompiler options: packimports(3) 
// Source File Name:   Solver.java


public final class Solver extends Enum
{

    public static final Solver[] values()
    {
        return (Solver[])$VALUES.clone();
    }

    public static Solver valueOf(String s)
    {
        return (Solver)Enum.valueOf(Solver, s);
    }

    private Solver(String s, int i)
    {
        super(s, i);
    }

    public static final Solver ABAQUS;
    public static final Solver CAST3M;
    private static final Solver $VALUES[];

    static 
    {
        ABAQUS = new Solver("ABAQUS", 0);
        CAST3M = new Solver("CAST3M", 1);
        $VALUES = (new Solver[] {
            ABAQUS, CAST3M
        });
    }
}

donc non, une entrée d'un enum n'est pas un int.


(enfin bon, ça n'empeche qu'il y a bien un
private final int ordinal;
dans Enum.java, mais bon.. )



ps : d'ailleurs c'est grâce au fait que ce n'est pas qu'un int qu'on peut faire des choses comme System.out.println(Solver.ABAQUS) et que ça écrit ABAQUS et pas un nombre qui ne veut rien dire