new java_text_SimpleDateFormat(
)
new java_text_SimpleDateFormat( x$1 // java.lang.String:String )
new java_text_SimpleDateFormat( x$1, // java.lang.String:String x$2 // java.util.Locale )
new java_text_SimpleDateFormat( x$1, // java.lang.String:String x$2 // java.text.DateFormatSymbols )