code: public void beforeInsertAllOf(int index, java.util.Collection collection) {
  	this.beforeInsertDummies(index, collection.size());
  	this.replaceFromWith(index, collection);
  }
docs: Inserts all elements of the specified collection before the specified position into the receiver.
  Shifts the element
  currently at that position (if any) and any subsequent elements to
  the right (increases their indices).
  
  @param index index before which to insert first element from the specified collection.
  @param collection the collection to be inserted
  @exception ClassCastException if an element in the collection is not
  of the same parameter type of the receiver.
  @throws IndexOutOfBoundsException if <tt>index &lt; 0 || index &gt; size()</tt>.