Update on AVATAR Data Types

src/avatartranslator/AvatarBlock.java

src/avatartranslator/touppaal/AVATAR2UPPAAL.java

src/ui/AvatarDesignPanelTranslator.java

src/ui/AvatarMethod.java

src/ui/ColorManager.java

src/ui/GTURTLEModeling.java

src/ui/MainGUI.java

src/ui/TDiagramPanel.java

src/ui/TGComponentManager.java

src/ui/TGUIAction.java

src/ui/avatarbd/AvatarBDBlock.java

src/ui/avatarbd/AvatarBDPanel.java

src/ui/avatarbd/AvatarBDToolBar.java

src/ui/window/JDialogAvatarBlock.java