HashMap.entries: Vector instead of Array