void arrayCopy(List src, int srcPos, List dest, int destPos, int length) { dest.setRange(destPos, length + destPos, src, srcPos); }