Sniper36, наверно, имел в виду это:
1. Проверяется, меньше ли в первом списке строк, чем во втором (что на начальном этапе в схеме верно)
2. Если верно - начинается перебор массива первого списка строк, каждая добытая строка добавляется в этот же самый список по doAdd.
Но после выдачи каждой новой строки приходится снова проверять, а проверка опять запускает цикл, чего происходить не должно, т.е. цикл не должен перезапускаться, а должен продолжать, если я правильно понял Sniper36