Merge branch 'labsoc_sec' into 'master'

src/main/java/ui/AvatarDesignPanelTranslator.java

src/main/java/ui/avatarbd/AvatarBDPerformancePragma.java

src/main/java/ui/util/IconManager.java

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

src/main/java/ui/window/JDialogSafetyPragma.java

src/main/resources/ui/util/uppaal.gif