Merge branch 'fix-backtracing' into 'master'

src/main/java/tmltranslator/SecurityPattern.java

src/main/java/tmltranslator/TMLModeling.java

src/main/java/tmltranslator/TMLTextSpecification.java

src/main/java/tmltranslator/toavatar/FullTML2Avatar.java

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

src/main/java/ui/GTURTLEModeling.java

src/main/java/ui/HSMGeneration.java

src/main/java/ui/SecurityGeneration.java

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

src/main/java/ui/tmlad/TMLActivityDiagramPanel.java

src/main/java/ui/tmldd/TMLArchiCommunicationArtifact.java

...ain/java/ui/window/JDialogCryptographicConfiguration.java