// If list is already sorted, just copy from src to dest.  This is an
    // optimization that results in faster sorts for nearly ordered lists.
// If list is already sorted, just copy from src to dest.  This is an
    // optimization that results in faster sorts for nearly ordered lists. | MergeSort.java