new java_sql_Timestamp( x$1 // long )
new java_sql_Timestamp( x$1, // int x$2, // int x$3, // int x$4, // int x$5, // int x$6, // int x$7 // int )