MergeSort.java: reformatting