src/Pure/General/date.scala

   }
 
 
   /* date operations */
 
+  def timezone_utc: ZoneId = ZoneId.of("UTC")
+  def timezone_berlin: ZoneId = ZoneId.of("Europe/Berlin")
+
   def timezone(): ZoneId = ZoneId.systemDefault
 
   def now(zone: ZoneId = timezone()): Date = new Date(ZonedDateTime.now(zone))
 
   def instant(t: Instant, zone: ZoneId = timezone()): Date =

 {
   def midnight: Date =
     new Date(ZonedDateTime.of(rep.toLocalDate, LocalTime.MIDNIGHT, rep.getZone))
 
   def to(zone: ZoneId): Date = new Date(rep.withZoneSameInstant(zone))
-  def to_utc: Date = to(ZoneId.of("UTC"))
 
   def unix_epoch: Long = rep.toEpochSecond
   def instant: Instant = Instant.from(rep)
   def time: Time = Time.instant(instant)
   def timezone: ZoneId = rep.getZone