src/Pure/General/sql.scala

     def set_date(stmt: PreparedStatement, i: Int, date: Date): Unit =
       if (date == null) stmt.setObject(i, null)
       else stmt.setObject(i, OffsetDateTime.from(date.to_utc.rep))
 
     def date(rs: ResultSet, column: SQL.Column): Date =
-      Date.instant(rs.getObject(column.name, classOf[OffsetDateTime]).toInstant)
+    {
+      val obj = rs.getObject(column.name, classOf[OffsetDateTime])
+      if (obj == null) null else Date.instant(obj.toInstant)
+    }
 
     def insert_permissive(table: SQL.Table, sql: String = ""): String =
       table.insert_cmd("INSERT",
         sql = sql + (if (sql == "") "" else " ") + "ON CONFLICT DO NOTHING")