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 )