/**
* java.util.Arrays#sort(int[])
* public static void sort(int[] a) {
* DualPivotQuicksort.sort(a, 0, a.length - 1, null, 0, 0); // DualPivotQuicksort
* }
*/
/**
* java.util.Arrays#sort(java.lang.Object[])
* public static void sort(Object[] a) {
* if (LegacyMergeSort.userRequested)
* legacyMergeSort(a);
* else
* ComparableTimSort.sort(a, 0, a.length, null, 0, 0); // timSort
* }
*/
/**
* java.util.Arrays#sort(java.lang.Object[], java.util.Comparator)
* public static <T> void sort(T[] a, Comparator<? super T> c) {
* if (c == null) {
* sort(a);
* } else {
* if (LegacyMergeSort.userRequested)
* legacyMergeSort(a, c);
* else
* TimSort.sort(a, 0, a.length, c, null, 0, 0); // timSort
* }
* }
*/