update of the UPPAAL code generator

src/translator/ADParallel.java

src/translator/TURTLEModelChecker.java

src/translator/TURTLEModeling.java

src/translator/touppaal/TURTLE2UPPAAL.java

src/ui/DesignPanelTranslator.java

src/uppaaldesc/UPPAALTemplate.java