diff -r 4744e75393d9 -r f2e3adfd916f src/Pure/General/sql.scala
--- a/src/Pure/General/sql.scala	Mon Mar 25 16:11:28 2019 +0100
+++ b/src/Pure/General/sql.scala	Mon Mar 25 16:45:08 2019 +0100
@@ -497,7 +497,7 @@
     // see https://jdbc.postgresql.org/documentation/head/8-date-time.html
     def update_date(stmt: SQL.Statement, i: Int, date: Date): Unit =
       if (date == null) stmt.rep.setObject(i, null)
-      else stmt.rep.setObject(i, OffsetDateTime.from(date.to_utc.rep))
+      else stmt.rep.setObject(i, OffsetDateTime.from(date.to(Date.timezone_utc).rep))
 
     def date(res: SQL.Result, column: SQL.Column): Date =
     {