protected TimeData readTime(Type type) throws IOException { String s = readString(); if (s == null) { return null; } s = s.trim(); if (s.length() == 0) { return null; } return scanner.newTime(s); }