private Timestamp fromSQLTimestamp(final java.sql.Timestamp sql_time) {
   final long millisecs = sql_time.getTime();
   final long seconds = millisecs / 1000;
   final int nanoseconds = sql_time.getNanos();
   return Timestamp.of(seconds, nanoseconds);
 }