Update ExternalSort.java