Merge change 4006

* changes:
  Test and fix for the ArrayList.addAll(), bug 2954.