Update on avatar model checker

modeling/MicroWaveOven_SafetySecurity_fullMethodo.xml

src/avatartranslator/AvatarStartState.java

src/avatartranslator/AvatarState.java

src/avatartranslator/AvatarStateMachineElement.java

src/avatartranslator/AvatarStopState.java

src/avatartranslator/modelchecker/AvatarModelChecker.java

src/myutil/BoolExpressionEvaluator.java

src/ui/AttackTreePanelTranslator.java

src/ui/AvatarDesignPanelTranslator.java

src/ui/window/JDialogAvatarModelChecker.java

src/ui/window/JDialogUPPAALValidation.java