Merge branch 'avatar_security_tests' into 'master'

src/main/java/proverifspec/ProVerifOutputAnalyzer.java

src/main/java/tmltranslator/TMLModeling.java

src/main/java/tmltranslator/TMLTextSpecification.java

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

src/main/java/ui/MainGUI.java

src/main/java/ui/tmlad/TMLADEncrypt.java

src/main/java/ui/tmlad/TMLADWriteChannel.java

src/main/java/ui/tmlcompd/TMLCPrimitiveComponent.java

src/main/java/ui/tmlcompd/TMLCPrimitivePort.java

src/main/java/ui/tmlcompd/TMLComponentTaskDiagramPanel.java

src/main/java/ui/tmldd/TMLArchiArtifact.java

src/main/java/ui/tmldd/TMLArchiCAMSNode.java

src/main/java/ui/tmldd/TMLArchiCPUNode.java

src/main/java/ui/tmldd/TMLArchiFPGANode.java

src/main/java/ui/tmldd/TMLArchiHWANode.java

src/main/java/ui/tmldd/TMLArchiPortArtifact.java

src/main/java/ui/window/JDialogMultiStringAndTabs.java

ttool/src/test/java/test/AbstractTest.java

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

ttool/src/test/java/ui/AvatarSecurityTests.java