# File rice/datetime.rb, line 75
    def DateTime.timeToICETime(t = Time.now, includeUsecs = true)
	t ||= Time.now		# If nil, use current time
	return formatTime('%H:%M:%S', t, includeUsecs)
    end