docs: def _parse_jing_line(line):
      """Parse a line of jing output to a list of line, column, type
      and message.
  
      """
      parts = line.split(':', 4)
      filename, line, column, type_, message = [x.strip() for x in parts]
      if type_ == 'fatal':
          if message in KNOWN_FATAL_MESSAGES_MAPPING:
              message = KNOWN_FATAL_MESSAGES_MAPPING[message]
      return ErrorLine(filename, line, column, type_, message)