new java_util_IntSummaryStatistics( )
new java_util_IntSummaryStatistics( x$1, // java.lang.Long:Long x$2, // java.lang.Int:Int x$3, // java.lang.Int:Int x$4 // java.lang.Long:Long )