UPPAAL Pragma fixes

src/main/java/ui/AvatarDesignPanelTranslator.java

src/main/java/ui/avatarbd/AvatarBDPragma.java

src/main/java/ui/avatarbd/AvatarBDSafetyPragma.java

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