D/prefs////
/DoubleEnumeration.java/1.2/Sat Oct  1 18:53:20 2005/-ko/
/EmptyEnumeration.java/1.2/Sat Oct  1 18:53:21 2005/-ko/
/package.html/1.2/Sat Oct  1 18:53:21 2005/-ko/
