tuned imports;

--- a/src/Pure/General/date.scala	Wed Dec 15 15:26:31 2021 +0100
+++ b/src/Pure/General/date.scala	Wed Dec 15 19:30:57 2021 +0100
@@ -8,12 +8,11 @@
 
 
 import java.util.Locale
-import java.time.{Instant, ZonedDateTime, LocalTime, ZoneId, OffsetDateTime}
+import java.time.{Instant, ZonedDateTime, LocalTime, ZoneId}
 import java.time.format.{DateTimeFormatter, DateTimeParseException}
 import java.time.temporal.TemporalAccessor
 
 import scala.annotation.tailrec
-import scala.math.Ordering
 
 
 object Date