Distressingly fast external sorting in Java