Update WholeFileInputFormat.java