mergesort in Java