100644 blob 1fc37f8e0f868118489e713604ebaad439a782a4	DoubleEnumeration.java
100644 blob 46a82d6cb53e61017c884efcd91cb6da2defb5d2	EmptyEnumeration.java
100644 blob d90fa59d4dcf5b1d3a744111fa2dda9cf1f19cc4	package.html
040000 tree f67cfe3c8b7fb9485ec79d85461e1844ebf8faf1	prefs