update Security Generation with tmap

src/main/java/tmltranslator/TMLChannel.java

...translator/patternhandling/SecurityGenerationForTMAP.java

src/main/java/ui/GTURTLEModeling.java

src/main/java/ui/window/JDialogPatternGeneration.java