/**
 * Time zones, for use in our Time class.
 */
public class TimeZone
{
  // STUB!
} // class TimeZone