Update on model checker backtracing

modeling/MicroWaveOven_SafetySecurity_fullMethodo.xml

src/avatartranslator/AvatarStateMachine.java

src/avatartranslator/modelchecker/AvatarModelChecker.java

src/ui/ColorManager.java

src/ui/TGComponent.java

src/ui/window/JDialogAvatarModelChecker.java

src/ui/window/JDialogUPPAALValidation.java