new java_lang_Integer( x$1 // java.lang.Int:Int )
new java_lang_Integer( x$1 // java.lang.String:String )