Arrays.sort(int[]) uses dual-pivot quicksort, not Timsort