static void arraycopy( List<int> src, int srcPos, List<int> dest, int destPos, int length) { dest.setRange(destPos, length + destPos, src, srcPos); }