static void replaceListPart(L l, int i, int j, L l2) {
  int j2 = i+l(l2);
  if (j2 == j)
    ret with copyListPart(l2, 0, l, i, l(l2));
  l.subList(i, j).clear();
  l.addAll(i, l2);
}