Delete ExternalSort.java~