getMaxValTime() now has an argument to tell which file is concerned.