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