(vereinfacht)
... copy ( ... dest, ... src) { for (int i = 0; i < src.size (); i++) { dest.set(i, src.get(i)); } }