new models but still diff from gui, 2 error fixed

src/main/java/tmltranslator/toavatarsec/TML2Avatar.java

...l/src/test/java/tmltranslator/DiplodocusSecurityTest.java

...ator/DiplodocusSecurityTest/Models/ITA01_v6/mapAtt/golden

...odocusSecurityTest/Models/ITA01_v6/mapAtt/proverif_output

...DiplodocusSecurityTest/Models/ITA01_v6/mapAtt/spec.tarchi

...r/DiplodocusSecurityTest/Models/ITA01_v6/mapAtt/spec.tmap

...or/DiplodocusSecurityTest/Models/ITA01_v6/mapAtt/spec.tml

...odocusSecurityTest/Models/ITA01_v6/mapNoProtection/golden

...urityTest/Models/ITA01_v6/mapNoProtection/proverif_output

...sSecurityTest/Models/ITA01_v6/mapNoProtection/spec.tarchi

...cusSecurityTest/Models/ITA01_v6/mapNoProtection/spec.tmap

...ocusSecurityTest/Models/ITA01_v6/mapNoProtection/spec.tml

...DiplodocusSecurityTest/Models/ITSDemo/Architecture/golden

...cusSecurityTest/Models/ITSDemo/Architecture_enc_or/golden

...tyTest/Models/ITSDemo/Architecture_enc_or/proverif_output

...curityTest/Models/ITSDemo/Architecture_enc_or/spec.tarchi

...SecurityTest/Models/ITSDemo/Architecture_enc_or/spec.tmap

...sSecurityTest/Models/ITSDemo/Architecture_enc_or/spec.tml

...odocusSecurityTest/Models/ITSDemo/Architecture_hsm/golden

...urityTest/Models/ITSDemo/Architecture_hsm/proverif_output