Performance Pragma fix

src/main/java/tmltranslator/SecurityPattern.java

src/main/java/tmltranslator/toavatar/TML2Avatar.java

src/main/java/ui/GTURTLEModeling.java

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

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

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

src/main/java/ui/window/JDialogPerformancePragma.java