merge with master branch

build.txt

modeling/DIPLODOCUS/SmartCardProtocol.xml

modeling/SysMLSec/AliceAndBob.xml

src/main/java/ai/AIBlockConnAttribWithSlicing.java

src/main/java/avatartranslator/AvatarMethod.java

src/main/java/avatartranslator/AvatarSpecification.java

...tartranslator/directsimulation/AvatarSimulationBlock.java

...lator/directsimulation/AvatarSpecificationSimulation.java

...ava/avatartranslator/modelchecker/AvatarModelChecker.java

...ain/java/avatartranslator/toexecutable/AVATAR2CPOSIX.java

...ain/java/avatartranslator/toproverif/AVATAR2ProVerif.java

src/main/java/avatartranslator/tosysmlv2/AVATAR2SysMLV2.java

src/main/java/avatartranslator/totpn/AVATAR2TPN.java

src/main/java/avatartranslator/touppaal/AVATAR2UPPAAL.java

src/main/java/tmltranslator/dsez3engine/InputInstance.java

...ain/java/tmltranslator/dsez3engine/OptimizationModel.java

src/main/java/ui/MainGUI.java

...ava/ui/networkmodelloader/JDialogLoadingNetworkModel.java

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

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