new java_util_Properties( )
new java_util_Properties( x$1 // java.lang.Int:Int )
new java_util_Properties( x$1 // java.util.Properties )