new java_security_Provider_Service( x$1, // java.security.Provider x$2, // java.lang.String x$3, // java.lang.String x$4, // java.lang.String x$5, // java.util.List[java.lang.String] x$6, // java.util.Map[java.lang.Stringjava.lang.String] )