Make SaltAndParams be nested

Author: egregius313

java/ql/lib/ext/sun.security.krb5.model.yml

@@ -4,7 +4,7 @@ extensions:
       extensible: sinkModel
     data:
       - ["sun.security.krb5", "EncryptionKey", False, "EncryptionKey", "(char[],String,String)", "", "Argument[0]", "credentials-password", "hq-generated"]
-      - ["sun.security.krb5", "EncryptionKey", False, "acquireSecretKey", "(PrincipalName,char[],int,SaltAndParams)", "", "Argument[1]", "credentials-password", "hq-generated"]
+      - ["sun.security.krb5", "EncryptionKey", False, "acquireSecretKey", "(PrincipalName,char[],int,PAData$SaltAndParams)", "", "Argument[1]", "credentials-password", "hq-generated"]
       - ["sun.security.krb5", "EncryptionKey", False, "acquireSecretKey", "(char[],String,int,byte[])", "", "Argument[0]", "credentials-password", "hq-generated"]
       - ["sun.security.krb5", "EncryptionKey", False, "acquireSecretKeys", "(char[],String)", "", "Argument[0]", "credentials-password", "hq-generated"]
       - ["sun.security.krb5", "EncryptionKey", False, "stringToKey", "(char[],String,byte[],int)", "", "Argument[0]", "credentials-password", "hq-generated"]