D/prefs////
/DoubleEnumeration.java/1.3/Mon May  3 19:52:28 2004//Tgcc-4_0-branch
/EmptyEnumeration.java/1.1/Fri May 24 11:57:06 2002//Tgcc-4_0-branch
