Merge on DSE engine

build.txt

dsescripts/script1.dse

executablecode/Makefile.src

modeling/DIPLODOCUS/SmartCardProtocol.xml

src/main/java/dseengine/DSEConfiguration.java

src/main/java/dseengine/DSESimulationResult.java

src/main/java/tmltranslator/TMLMapping.java

...slator/tomappingsystemc2/DiploSimulatorCodeGenerator.java

...mltranslator/tomappingsystemc2/DiploSimulatorFactory.java

...lator/tomappingsystemc2/IDiploSimulatorCodeGenerator.java

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

src/main/java/ui/util/DefaultText.java

src/main/java/ui/window/JDialogBase.java

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

src/main/java/ui/window/JDialogPortArtifact.java

ttool/src/test/java/launcher/TestRshClient.java

ttool/src/test/java/ui/TestGTURTLEModeling.java