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