У меня он там точно "очищается", а в первой схеме вообще не пополняется, перебор идёт самым грамотным и быстрым способом - список расценивается как массив. Если у Вас адресов не много, то есть смысл быстро перебирать весь список ArrayEnum, порождая на выходе отдельные пингующие потоки со взаимной синхронизацией, всё зависит от приложения и это уже Ваша забота ;)