I think `Enumeration` is more like `Enumerator` where `nextElement()` does only return the current element?