ANY NONE
deferred class interface TIME_IN_SOME_LANGUAGE[E]
   --
   -- This class is now obsolete (replaced with TIME_FORMATTER).
   --

"The new name of this class is now TIME_FORMATTER. Please update your code. (July 2nd 3004)"

end of deferred TIME_IN_SOME_LANGUAGE[E]