new java_sql_Timestamp( x$1 // java.lang.Long:Long )
new java_sql_Timestamp( x$1, // java.lang.Int:Int x$2, // java.lang.Int:Int x$3, // java.lang.Int:Int x$4, // java.lang.Int:Int x$5, // java.lang.Int:Int x$6, // java.lang.Int:Int x$7 // java.lang.Int:Int )