(coll) optimization for ArrayList.addAll

In ArrayList.addAll, you might check to see if the collection being added is an ArrayList, and if so, directly copy the elements rather than allocating a separate array, copying the collection into the array, and then from the array to the ArrayList. This turned out to be a hot spot in our code.