Update on DSE window: all tested apart from security aspects

modeling/DIPLODOCUS/SmartCardProtocol.xml

src/main/java/dseengine/DSEConfiguration.java

src/main/java/tmltranslator/TMLSyntaxChecking.java

src/main/java/ui/GTURTLEModeling.java

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

src/main/java/ui/window/JDialogDSE.java

tmltranslator/src/main/java/TMLTranslator.java