AVATAR: modified translation to UPPAAL

src/avatartranslator/AvatarBlockTemplate.java

src/avatartranslator/AvatarRandom.java

src/avatartranslator/AvatarSpecification.java

src/avatartranslator/AvatarStateMachine.java

src/avatartranslator/AvatarTransition.java

src/avatartranslator/touppaal/AVATAR2UPPAAL.java

src/ui/AvatarDesignPanelTranslator.java

src/ui/MainGUI.java

src/ui/TGComponentManager.java

src/ui/TGUIAction.java

src/ui/avatarsmd/AvatarSMDRandom.java

src/ui/avatarsmd/AvatarSMDToolBar.java

src/ui/tmlad/TMLADRandom.java

src/ui/window/JDialogTMLADRandom.java

src/uppaaldesc/UPPAALTransition.java