TURTLE: Update on UPPAAL code generator

src/avatartranslator/AvatarAttribute.java

src/avatartranslator/AvatarSyntaxChecker.java

src/avatartranslator/AvatarType.java

src/avatartranslator/touppaal/AVATAR2UPPAAL.java

src/translator/touppaal/TURTLE2UPPAAL.java

src/ui/AvatarDesignPanelTranslator.java

src/ui/TAttribute.java

src/ui/avatarbd/AvatarBDBlock.java