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