On 10 Mar 2005 11:50, Goonie wrote: 
>Maybe Enum.name() would be safer?
 
You're right.  
Extracted from the java documentation (about Enum.name()):  
"This method is designed primarily for use in specialized situations  
where correctness depends on getting the exact name, which will not  
vary from release to release."