Update on window for managing syntax checking

modeling/MicroWaveOven_SafetySecurity_fullMethodo.xml

modeling/ebook_reader_01.xml

src/ui/AttackTreePanelTranslator.java

src/ui/window/JDialogModelChecking.java

src/ui/window/JDialogSelectAvatarBlock.java

src/ui/window/JDialogSelectTMLComponent.java

src/ui/window/JDialogSelectTMLNodes.java

src/ui/window/JDialogUPPAALValidation.java