Merge branch 'labsoc_sec' into 'master'

simulators/c++2/src_simulator/definitions.h

src/main/java/ui/GTURTLEModeling.java

src/main/java/ui/HSMGeneration.java

src/main/java/ui/SecurityGeneration.java

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