/DoubleEnumeration.java/1.2/Tue Jan 22 22:40:03 2002//
/EmptyEnumeration.java/1.1/Fri May 24 11:57:06 2002//
D
