new java_util_Properties( )
new java_util_Properties( x$1, // int )
new java_util_Properties( x$1, // java.util.Properties )