new java_security_ProtectionDomain( x$1, // java.security.CodeSource x$2, // java.security.PermissionCollection )
new java_security_ProtectionDomain( x$1, // java.security.CodeSource x$2, // java.security.PermissionCollection x$3, // java.lang.ClassLoader x$4, // Array[java.security.Principal] )