/DoubleEnumeration.java/1.4/Thu Jun 30 03:19:12 2005//
/EmptyEnumeration.java/1.2/Thu Jun 30 03:19:12 2005//
D/prefs////
