Update on security information

src/Main.java

src/avatartranslator/toproverif/AVATAR2ProVerif.java

src/ui/AvatarDesignPanel.java

src/ui/ConfigurationTTool.java

src/ui/MainGUI.java

src/ui/TAttribute.java

src/ui/avatarbd/AvatarBDBlock.java

src/ui/avatarbd/AvatarBDPanel.java

...eractivesimulation/JFrameAvatarInteractiveSimulation.java

src/ui/avatarsmd/AvatarSMDPanel.java

src/ui/avatarsmd/AvatarSMDState.java

src/ui/window/JDialogProVerifGeneration.java