update security generation for diplodocus

src/main/java/tmltranslator/TMLComparingMethod.java

src/main/java/tmltranslator/TMLTextSpecification.java

...ava/tmltranslator/patternhandling/PatternIntegration.java

...translator/patternhandling/SecurityGenerationForTMAP.java

src/main/java/ui/GTURTLEModeling.java

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

src/main/java/ui/tmldd/TMLArchiEventArtifact.java

src/main/java/ui/tmldd/TMLArchiKey.java

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

src/main/java/ui/window/JDialogProverifVerification.java