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);
}