PR# 19014 TIME_VALIDITY_CHECKER broken

It doesn't matter whether I set the format string to "hh24:[0]mi", "hh:[0]mi" or "hh:mi", the following program will not echo the correct time.

   test_time_parsing
      local
         time_str, format: STRING; time: TIME
         checker: TIME_VALIDITY_CHECKER
      do
         log.enter ("test_time_parsing")
         time_str := "21:01"; format := "hh24:[0]mi"
         create checker
         if checker.time_valid (time_str, format) then
            create time.make_from_string (time_str, format)
         else
            create time.make (0, 0, 0)
         end
         log.put_labeled_string ("Time", time.formatted_out ("hh:[0]mi"))
         log.put_new_line
         log.exit
      end

PS I couldn't find any documentation for valid format strings. The only thing available is the default format string