Изменения

for (int i = 1; i $\leqslant$ ..n - 1; i++) j = i - 1; while ((j $\geqslant$ >= 0) && (a[j] > a[j + 1])): swap(a[j], a[j + 1]); j = j - 1;