100644 blob fd033a356f8f3536e08c5adea98694f3d7cabd4a	DoubleEnumeration.java
100644 blob 4e80499c8a447f917342bcff398956a00420b2ca	EmptyEnumeration.java
040000 tree 4f5bf802353d068640b1f1374299f84b6e8574c9	prefs