From 6f826e9c6a5c773e306a288dde3df60722f14243 Mon Sep 17 00:00:00 2001
From: Ludovic Apvrille <ludovic.apvrille@telecom-paris.fr>
Date: Fri, 15 Nov 2024 12:32:39 +0100
Subject: [PATCH] Handling of mutual exclusion in avatar draw panel - ticket
 419

---
 modeling/AVATAR/CoffeeMachine_Avatar.xml      | 3820 ++---------------
 .../java/avatartranslator/AvatarElement.java  |    8 +
 .../java/ui/AvatarDesignPanelTranslator.java  |    4 +
 src/main/java/ui/AvatarPanelDrawer.java       |    6 +
 4 files changed, 293 insertions(+), 3545 deletions(-)

diff --git a/modeling/AVATAR/CoffeeMachine_Avatar.xml b/modeling/AVATAR/CoffeeMachine_Avatar.xml
index 36c7fd7d9..af0621f9c 100644
--- a/modeling/AVATAR/CoffeeMachine_Avatar.xml
+++ b/modeling/AVATAR/CoffeeMachine_Avatar.xml
@@ -1,6 +1,6 @@
 <?xml version="1.0" encoding="UTF-8"?>
 
-<TURTLEGMODELING version="3.0 beta" ANIMATE_INTERACTIVE_SIMULATION="false" ACTIVATE_PENALTIES="true" UPDATE_INFORMATION_DIPLO_SIM="false" ANIMATE_WITH_INFO_DIPLO_SIM="true" OPEN_DIAG_DIPLO_SIM="false" LAST_SELECTED_MAIN_TAB="2" LAST_SELECTED_SUB_TAB="2" TAGS="deactivated root" SHOW_TAGS="true">
+<TURTLEGMODELING version="3.0 beta" ANIMATE_INTERACTIVE_SIMULATION="false" ACTIVATE_PENALTIES="true" UPDATE_INFORMATION_DIPLO_SIM="false" ANIMATE_WITH_INFO_DIPLO_SIM="true" OPEN_DIAG_DIPLO_SIM="false" LAST_SELECTED_MAIN_TAB="1" LAST_SELECTED_SUB_TAB="4" TAGS="deactivated root" SHOW_TAGS="true">
 
 <Modeling type="Avatar Requirement" nameTab="AVATAR Requirements" >
 <AvatarRDPanel name="AVATAR RD" minX="10" maxX="1900" minY="10" maxY="1400" zoom="1.0" >
@@ -29,7 +29,6 @@
 <TGConnectingPoint num="15" id="16" />
 <tags value="" />
 <extraparam>
-<Line value="" />
 </extraparam>
 </COMPONENT>
 
@@ -802,7 +801,7 @@
 <sizeparam width="0" height="0" minWidth="0" minHeight="0" maxWidth="1000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" />
 <infoparam name="connector from TGComponent to TGComponent" value="" />
 <TGConnectingPoint num="0" id="449" />
-<P1  x="302" y="261" id="493" />
+<P1  x="302" y="261" id="480" />
 <P2  x="361" y="261" id="468" />
 <AutomaticDrawing  data="true" />
 <new d="false" />
@@ -822,7 +821,7 @@
 <sizeparam width="0" height="0" minWidth="0" minHeight="0" maxWidth="1000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" />
 <infoparam name="connector from TGComponent to TGComponent" value="" />
 <TGConnectingPoint num="0" id="453" />
-<P1  x="305" y="211" id="480" />
+<P1  x="305" y="211" id="493" />
 <P2  x="361" y="211" id="467" />
 <AutomaticDrawing  data="true" />
 <new d="false" />
@@ -918,13 +917,13 @@
 <TGConnectingPoint num="23" id="527" />
 <tags value="" />
 </COMPONENT>
-<SUBCOMPONENT type="5304" id="490" index="13" uid="2dbef5cf-57eb-4674-94d5-4b37c6777b4a" >
+<SUBCOMPONENT type="5304" id="490" index="13" uid="e14fd5a7-c9ae-42ab-b99a-306f91c69127" >
 <father id="528" num="0" />
-<cdparam x="166" y="191" />
-<sizeparam width="139" height="40" minWidth="100" minHeight="1" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" />
+<cdparam x="154" y="241" />
+<sizeparam width="148" height="40" minWidth="100" minHeight="1" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" />
 <hidden value="false" />
-<cdrectangleparam minX="0" maxX="29" minY="0" maxY="114" />
-<infoparam name="TGComponent" value="WaitingForFirstCoin_exit" />
+<cdrectangleparam minX="0" maxX="20" minY="0" maxY="114" />
+<infoparam name="TGComponent" value="WaitingForFirstCoin_enter" />
 <new d="false" />
 <TGConnectingPoint num="0" id="478" />
 <TGConnectingPoint num="1" id="479" />
@@ -940,13 +939,13 @@
 <TGConnectingPoint num="11" id="489" />
 <tags value="" />
 </SUBCOMPONENT>
-<SUBCOMPONENT type="5304" id="503" index="14" uid="e14fd5a7-c9ae-42ab-b99a-306f91c69127" >
+<SUBCOMPONENT type="5304" id="503" index="14" uid="2dbef5cf-57eb-4674-94d5-4b37c6777b4a" >
 <father id="528" num="1" />
-<cdparam x="154" y="241" />
-<sizeparam width="148" height="40" minWidth="100" minHeight="1" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" />
+<cdparam x="166" y="191" />
+<sizeparam width="139" height="40" minWidth="100" minHeight="1" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" />
 <hidden value="false" />
-<cdrectangleparam minX="0" maxX="20" minY="0" maxY="114" />
-<infoparam name="TGComponent" value="WaitingForFirstCoin_enter" />
+<cdrectangleparam minX="0" maxX="29" minY="0" maxY="114" />
+<infoparam name="TGComponent" value="WaitingForFirstCoin_exit" />
 <new d="false" />
 <TGConnectingPoint num="0" id="491" />
 <TGConnectingPoint num="1" id="492" />
@@ -1087,7 +1086,7 @@
 <TGConnectingPoint num="0" id="587" />
 <TGConnectingPoint num="1" id="588" />
 <TGConnectingPoint num="2" id="589" />
-<P1  x="581" y="154" id="663" />
+<P1  x="581" y="154" id="676" />
 <P2  x="546" y="305" id="733" />
 <Point x="518" y="154" />
 <Point x="518" y="305" />
@@ -1120,7 +1119,7 @@
 <infoparam name="connector from TGComponent to TGComponent" value="" />
 <TGConnectingPoint num="0" id="592" />
 <TGConnectingPoint num="1" id="593" />
-<P1  x="631" y="164" id="658" />
+<P1  x="631" y="164" id="671" />
 <P2  x="667" y="310" id="720" />
 <Point x="631" y="310" />
 <AutomaticDrawing  data="true" />
@@ -1152,7 +1151,7 @@
 <infoparam name="connector from TGComponent to TGComponent" value="" />
 <TGConnectingPoint num="0" id="598" />
 <TGConnectingPoint num="1" id="599" />
-<P1  x="721" y="158" id="669" />
+<P1  x="721" y="158" id="656" />
 <P2  x="700" y="204" id="710" />
 <Point x="700" y="158" />
 <AutomaticDrawing  data="true" />
@@ -1323,13 +1322,13 @@
 <TGConnectingPoint num="23" id="704" />
 <tags value="" />
 </COMPONENT>
-<SUBCOMPONENT type="5304" id="667" index="24" uid="5ba2c908-950a-4288-889b-0b4c00bd9d79" >
+<SUBCOMPONENT type="5303" id="667" index="24" uid="bf44a33b-5344-46b2-9170-509d38670a83" >
 <father id="705" num="0" />
-<cdparam x="581" y="125" />
-<sizeparam width="100" height="39" minWidth="100" minHeight="1" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" />
+<cdparam x="721" y="133" />
+<sizeparam width="100" height="50" minWidth="100" minHeight="1" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" />
 <hidden value="false" />
-<cdrectangleparam minX="0" maxX="168" minY="0" maxY="76" />
-<infoparam name="TGComponent" value="Start" />
+<cdrectangleparam minX="0" maxX="168" minY="0" maxY="65" />
+<infoparam name="TGComponent" value="nbOfCoins" />
 <new d="false" />
 <TGConnectingPoint num="0" id="655" />
 <TGConnectingPoint num="1" id="656" />
@@ -1344,14 +1343,17 @@
 <TGConnectingPoint num="10" id="665" />
 <TGConnectingPoint num="11" id="666" />
 <tags value="" />
+<extraparam>
+<Toggle value="" />
+</extraparam>
 </SUBCOMPONENT>
-<SUBCOMPONENT type="5303" id="680" index="25" uid="bf44a33b-5344-46b2-9170-509d38670a83" >
+<SUBCOMPONENT type="5304" id="680" index="25" uid="5ba2c908-950a-4288-889b-0b4c00bd9d79" >
 <father id="705" num="1" />
-<cdparam x="721" y="133" />
-<sizeparam width="100" height="50" minWidth="100" minHeight="1" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" />
+<cdparam x="581" y="125" />
+<sizeparam width="100" height="39" minWidth="100" minHeight="1" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" />
 <hidden value="false" />
-<cdrectangleparam minX="0" maxX="168" minY="0" maxY="65" />
-<infoparam name="TGComponent" value="nbOfCoins" />
+<cdrectangleparam minX="0" maxX="168" minY="0" maxY="76" />
+<infoparam name="TGComponent" value="Start" />
 <new d="false" />
 <TGConnectingPoint num="0" id="668" />
 <TGConnectingPoint num="1" id="669" />
@@ -1366,9 +1368,6 @@
 <TGConnectingPoint num="10" id="678" />
 <TGConnectingPoint num="11" id="679" />
 <tags value="" />
-<extraparam>
-<Toggle value="" />
-</extraparam>
 </SUBCOMPONENT>
 
 <COMPONENT type="5306" id="717" index="14" uid="7a1c9320-1617-4710-a22f-ae8365f354ef" >
@@ -1509,7 +1508,7 @@
 <sizeparam width="0" height="0" minWidth="0" minHeight="0" maxWidth="1000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" />
 <infoparam name="connector from Block1 to Block0" value="" />
 <TGConnectingPoint num="0" id="770" />
-<P1  x="556" y="346" id="915" />
+<P1  x="556" y="346" id="874" />
 <P2  x="557" y="373" id="964" />
 <AutomaticDrawing  data="true" />
 <new d="false" />
@@ -1541,7 +1540,7 @@
 <sizeparam width="0" height="0" minWidth="0" minHeight="0" maxWidth="1000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" />
 <infoparam name="connector from Block1 to Block0" value="" />
 <TGConnectingPoint num="0" id="774" />
-<P1  x="787" y="345" id="874" />
+<P1  x="787" y="345" id="915" />
 <P2  x="787" y="373" id="965" />
 <AutomaticDrawing  data="true" />
 <new d="false" />
@@ -1803,13 +1802,13 @@ CoffeeMachine.CoffeeDelivered --&gt; CoffeeMachine.nbOfCoins&lt;2
 <Signal value="out ejectCoin(int nbOfCoins)" attached="true" />
 </extraparam>
 </COMPONENT>
-<SUBCOMPONENT type="5000" id="908" index="8" uid="a5114e80-03e3-4820-b57a-bfcefd90a9c8" >
+<SUBCOMPONENT type="5000" id="908" index="8" uid="7a21d6ab-e515-4a9c-b908-bcb26c800cfb" >
 <father id="990" num="0" />
-<cdparam x="694" y="245" />
-<sizeparam width="186" height="100" minWidth="1" minHeight="1" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" />
+<cdparam x="462" y="246" />
+<sizeparam width="188" height="100" minWidth="1" minHeight="1" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" />
 <hidden value="false" />
-<cdrectangleparam minX="0" maxX="274" minY="0" maxY="256" />
-<infoparam name="Block1" value="TeaButton" />
+<cdrectangleparam minX="0" maxX="272" minY="0" maxY="256" />
+<infoparam name="Block1" value="CoffeeButton" />
 <new d="false" />
 <TGConnectingPoint num="0" id="868" />
 <TGConnectingPoint num="1" id="869" />
@@ -1859,13 +1858,13 @@ CoffeeMachine.CoffeeDelivered --&gt; CoffeeMachine.nbOfCoins&lt;2
 <Signal value="out push()" attached="true" />
 </extraparam>
 </SUBCOMPONENT>
-<SUBCOMPONENT type="5000" id="949" index="9" uid="7a21d6ab-e515-4a9c-b908-bcb26c800cfb" >
+<SUBCOMPONENT type="5000" id="949" index="9" uid="a5114e80-03e3-4820-b57a-bfcefd90a9c8" >
 <father id="990" num="1" />
-<cdparam x="462" y="246" />
-<sizeparam width="188" height="100" minWidth="1" minHeight="1" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" />
+<cdparam x="694" y="245" />
+<sizeparam width="186" height="100" minWidth="1" minHeight="1" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" />
 <hidden value="false" />
-<cdrectangleparam minX="0" maxX="272" minY="0" maxY="256" />
-<infoparam name="Block1" value="CoffeeButton" />
+<cdrectangleparam minX="0" maxX="274" minY="0" maxY="256" />
+<infoparam name="Block1" value="TeaButton" />
 <new d="false" />
 <TGConnectingPoint num="0" id="909" />
 <TGConnectingPoint num="1" id="910" />
@@ -1925,8 +1924,8 @@ CoffeeMachine.CoffeeDelivered --&gt; CoffeeMachine.nbOfCoins&lt;2
 <sizeparam width="0" height="0" minWidth="0" minHeight="0" maxWidth="1000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" />
 <infoparam name="connector from start state to Send signal" value="null" />
 <TGConnectingPoint num="0" id="996" />
-<P1  x="340" y="233" id="1167" />
-<P2  x="363" y="255" id="1169" />
+<P1  x="340" y="233" id="1178" />
+<P2  x="363" y="255" id="1167" />
 <AutomaticDrawing  data="true" />
 <new d="false" />
 </CONNECTOR><SUBCOMPONENT type="-1" id="995" index="8" uid="4b47f2ec-3073-4a06-b6e0-da7704454345" >
@@ -2033,7 +2032,7 @@ CoffeeMachine.CoffeeDelivered --&gt; CoffeeMachine.nbOfCoins&lt;2
 <sizeparam width="0" height="0" minWidth="0" minHeight="0" maxWidth="1000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" />
 <infoparam name="connector from Send signal to state0" value="null" />
 <TGConnectingPoint num="0" id="1017" />
-<P1  x="363" y="285" id="1170" />
+<P1  x="363" y="285" id="1168" />
 <P2  x="399" y="352" id="1020" />
 <AutomaticDrawing  data="true" />
 <new d="false" />
@@ -2330,36 +2329,36 @@ CoffeeMachine.CoffeeDelivered --&gt; CoffeeMachine.nbOfCoins&lt;2
 <extraparam>
 </extraparam>
 </COMPONENT>
-<SUBCOMPONENT type="5100" id="1168" index="12" uid="4ea28494-de50-4f99-8981-3ef7a87d7d34" >
+<SUBCOMPONENT type="5103" id="1177" index="12" uid="71f14636-3c96-4e4e-8d0e-c1cd11e52641" >
 <father id="1252" num="0" />
-<cdparam x="333" y="213" />
-<sizeparam width="15" height="15" minWidth="1" minHeight="1" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" />
+<cdparam x="340" y="260" />
+<sizeparam width="46" height="20" minWidth="30" minHeight="1" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" />
 <hidden value="false" />
-<cdrectangleparam minX="0" maxX="169" minY="0" maxY="115" />
-<infoparam name="start state" value="null" />
+<enabled value="true" />
+<cdrectangleparam minX="0" maxX="138" minY="0" maxY="110" />
+<infoparam name="Send signal" value="push()" />
 <new d="false" />
 <TGConnectingPoint num="0" id="1167" />
+<TGConnectingPoint num="1" id="1168" />
+<TGConnectingPoint num="2" id="1169" />
+<TGConnectingPoint num="3" id="1170" />
+<TGConnectingPoint num="4" id="1171" />
+<TGConnectingPoint num="5" id="1172" />
+<TGConnectingPoint num="6" id="1173" />
+<TGConnectingPoint num="7" id="1174" />
+<TGConnectingPoint num="8" id="1175" />
+<TGConnectingPoint num="9" id="1176" />
 <tags value="" />
 </SUBCOMPONENT>
-<SUBCOMPONENT type="5103" id="1179" index="13" uid="71f14636-3c96-4e4e-8d0e-c1cd11e52641" >
+<SUBCOMPONENT type="5100" id="1179" index="13" uid="4ea28494-de50-4f99-8981-3ef7a87d7d34" >
 <father id="1252" num="1" />
-<cdparam x="340" y="260" />
-<sizeparam width="46" height="20" minWidth="30" minHeight="1" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" />
+<cdparam x="333" y="213" />
+<sizeparam width="15" height="15" minWidth="1" minHeight="1" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" />
 <hidden value="false" />
-<enabled value="true" />
-<cdrectangleparam minX="0" maxX="138" minY="0" maxY="110" />
-<infoparam name="Send signal" value="push()" />
+<cdrectangleparam minX="0" maxX="169" minY="0" maxY="115" />
+<infoparam name="start state" value="null" />
 <new d="false" />
-<TGConnectingPoint num="0" id="1169" />
-<TGConnectingPoint num="1" id="1170" />
-<TGConnectingPoint num="2" id="1171" />
-<TGConnectingPoint num="3" id="1172" />
-<TGConnectingPoint num="4" id="1173" />
-<TGConnectingPoint num="5" id="1174" />
-<TGConnectingPoint num="6" id="1175" />
-<TGConnectingPoint num="7" id="1176" />
-<TGConnectingPoint num="8" id="1177" />
-<TGConnectingPoint num="9" id="1178" />
+<TGConnectingPoint num="0" id="1178" />
 <tags value="" />
 </SUBCOMPONENT>
 
@@ -2982,8 +2981,8 @@ CoffeeMachine.CoffeeDelivered --&gt; CoffeeMachine.nbOfCoins&lt;2
 <sizeparam width="0" height="0" minWidth="0" minHeight="0" maxWidth="1000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" />
 <infoparam name="connector from start state to state0" value="null" />
 <TGConnectingPoint num="0" id="1494" />
-<P1  x="261" y="421" id="2140" />
-<P2  x="261" y="434" id="2143" />
+<P1  x="261" y="421" id="2129" />
+<P2  x="261" y="434" id="2057" />
 <AutomaticDrawing  data="true" />
 <new d="false" />
 </CONNECTOR><SUBCOMPONENT type="-1" id="1493" index="38" uid="a28ea541-81ef-4713-8ea6-c7f5ba166daa" >
@@ -3018,8 +3017,8 @@ CoffeeMachine.CoffeeDelivered --&gt; CoffeeMachine.nbOfCoins&lt;2
 <sizeparam width="0" height="0" minWidth="0" minHeight="0" maxWidth="1000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" />
 <infoparam name="connector from state0 to Send signal" value="null" />
 <TGConnectingPoint num="0" id="1501" />
-<P1  x="228" y="474" id="2156" />
-<P2  x="126" y="524" id="2129" />
+<P1  x="228" y="474" id="2070" />
+<P2  x="126" y="524" id="2131" />
 <AutomaticDrawing  data="true" />
 <new d="false" />
 </CONNECTOR><SUBCOMPONENT type="-1" id="1500" index="39" uid="2484893a-3443-40dc-8f74-e1443edc2bde" >
@@ -3054,8 +3053,8 @@ CoffeeMachine.CoffeeDelivered --&gt; CoffeeMachine.nbOfCoins&lt;2
 <sizeparam width="0" height="0" minWidth="0" minHeight="0" maxWidth="1000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" />
 <infoparam name="connector from Send signal to stop state" value="null" />
 <TGConnectingPoint num="0" id="1508" />
-<P1  x="126" y="554" id="2130" />
-<P2  x="126" y="653" id="2046" />
+<P1  x="126" y="554" id="2132" />
+<P2  x="126" y="653" id="2154" />
 <AutomaticDrawing  data="true" />
 <new d="false" />
 </CONNECTOR><SUBCOMPONENT type="-1" id="1507" index="40" uid="6f6c6e3e-0702-4e99-b1e6-da999207526e" >
@@ -3092,8 +3091,8 @@ CoffeeMachine.CoffeeDelivered --&gt; CoffeeMachine.nbOfCoins&lt;2
 <sizeparam width="0" height="0" minWidth="0" minHeight="0" maxWidth="1000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" />
 <infoparam name="connector from state0 to Send signal" value="null" />
 <TGConnectingPoint num="0" id="1515" />
-<P1  x="294" y="474" id="2157" />
-<P2  x="298" y="524" id="2215" />
+<P1  x="294" y="474" id="2071" />
+<P2  x="298" y="524" id="2045" />
 <AutomaticDrawing  data="true" />
 <new d="false" />
 </CONNECTOR><SUBCOMPONENT type="-1" id="1514" index="41" uid="18f77c23-d770-43b2-a9ca-161802d8a987" >
@@ -3128,7 +3127,7 @@ CoffeeMachine.CoffeeDelivered --&gt; CoffeeMachine.nbOfCoins&lt;2
 <sizeparam width="0" height="0" minWidth="0" minHeight="0" maxWidth="1000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" />
 <infoparam name="connector from Send signal to stop state" value="null" />
 <TGConnectingPoint num="0" id="1522" />
-<P1  x="298" y="554" id="2216" />
+<P1  x="298" y="554" id="2046" />
 <P2  x="296" y="650" id="1973" />
 <AutomaticDrawing  data="true" />
 <new d="false" />
@@ -3166,8 +3165,8 @@ CoffeeMachine.CoffeeDelivered --&gt; CoffeeMachine.nbOfCoins&lt;2
 <sizeparam width="0" height="0" minWidth="0" minHeight="0" maxWidth="1000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" />
 <infoparam name="connector from state0 to Send signal" value="null" />
 <TGConnectingPoint num="0" id="1529" />
-<P1  x="327" y="454" id="2146" />
-<P2  x="442" y="497" id="2118" />
+<P1  x="327" y="454" id="2060" />
+<P2  x="442" y="497" id="2142" />
 <AutomaticDrawing  data="true" />
 <new d="false" />
 </CONNECTOR><SUBCOMPONENT type="-1" id="1528" index="43" uid="1286b08f-20a2-44ff-9ae2-d3d09cf02647" >
@@ -3203,7 +3202,7 @@ CoffeeMachine.CoffeeDelivered --&gt; CoffeeMachine.nbOfCoins&lt;2
 <infoparam name="connector from Send signal to stop state" value="null" />
 <TGConnectingPoint num="0" id="1537" />
 <TGConnectingPoint num="1" id="1538" />
-<P1  x="442" y="527" id="2119" />
+<P1  x="442" y="527" id="2143" />
 <P2  x="323" y="748" id="1835" />
 <Point x="442" y="737" />
 <AutomaticDrawing  data="true" />
@@ -3297,7 +3296,7 @@ CoffeeMachine.CoffeeDelivered --&gt; CoffeeMachine.nbOfCoins&lt;2
 <sizeparam width="0" height="0" minWidth="0" minHeight="0" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" />
 <infoparam name="connector" value="null" />
 <TGConnectingPoint num="0" id="1553" />
-<P1  x="126" y="702" id="2051" />
+<P1  x="126" y="702" id="2159" />
 <P2  x="221" y="758" id="1836" />
 <AutomaticDrawing  data="true" />
 <new d="false" />
@@ -3860,6 +3859,7 @@ CoffeeMachine.CoffeeDelivered --&gt; CoffeeMachine.nbOfCoins&lt;2
 <TGConnectingPoint num="69" id="1968" />
 <TGConnectingPoint num="70" id="1969" />
 <TGConnectingPoint num="71" id="1970" />
+<invariant />
 <tags value="" />
 <extraparam>
 </extraparam>
@@ -4030,18 +4030,19 @@ CoffeeMachine.CoffeeDelivered --&gt; CoffeeMachine.nbOfCoins&lt;2
 <TGConnectingPoint num="69" id="2295" />
 <TGConnectingPoint num="70" id="2296" />
 <TGConnectingPoint num="71" id="2297" />
+<invariant />
 <tags value="" />
 <extraparam>
 </extraparam>
 </COMPONENT>
-<SUBCOMPONENT type="5106" id="2117" index="48" uid="52044bb2-8b01-4108-a1ac-b5e7886ea624" >
+<SUBCOMPONENT type="5104" id="2055" index="48" uid="8718a1dd-4942-43e5-b6ce-b5f78b82a355" >
 <father id="2298" num="0" />
-<cdparam x="53" y="653" />
-<sizeparam width="146" height="49" minWidth="40" minHeight="30" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" />
+<cdparam x="242" y="529" />
+<sizeparam width="112" height="20" minWidth="30" minHeight="1" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" />
 <hidden value="false" />
 <enabled value="true" />
-<cdrectangleparam minX="0" maxX="431" minY="0" maxY="305" />
-<infoparam name="state0" value="CoffeeDelivered" />
+<cdrectangleparam minX="0" maxX="465" minY="0" maxY="334" />
+<infoparam name="Send signal" value="pushTeaButton()" />
 <new d="false" />
 <TGConnectingPoint num="0" id="2045" />
 <TGConnectingPoint num="1" id="2046" />
@@ -4053,135 +4054,138 @@ CoffeeMachine.CoffeeDelivered --&gt; CoffeeMachine.nbOfCoins&lt;2
 <TGConnectingPoint num="7" id="2052" />
 <TGConnectingPoint num="8" id="2053" />
 <TGConnectingPoint num="9" id="2054" />
-<TGConnectingPoint num="10" id="2055" />
-<TGConnectingPoint num="11" id="2056" />
-<TGConnectingPoint num="12" id="2057" />
-<TGConnectingPoint num="13" id="2058" />
-<TGConnectingPoint num="14" id="2059" />
-<TGConnectingPoint num="15" id="2060" />
-<TGConnectingPoint num="16" id="2061" />
-<TGConnectingPoint num="17" id="2062" />
-<TGConnectingPoint num="18" id="2063" />
-<TGConnectingPoint num="19" id="2064" />
-<TGConnectingPoint num="20" id="2065" />
-<TGConnectingPoint num="21" id="2066" />
-<TGConnectingPoint num="22" id="2067" />
-<TGConnectingPoint num="23" id="2068" />
-<TGConnectingPoint num="24" id="2069" />
-<TGConnectingPoint num="25" id="2070" />
-<TGConnectingPoint num="26" id="2071" />
-<TGConnectingPoint num="27" id="2072" />
-<TGConnectingPoint num="28" id="2073" />
-<TGConnectingPoint num="29" id="2074" />
-<TGConnectingPoint num="30" id="2075" />
-<TGConnectingPoint num="31" id="2076" />
-<TGConnectingPoint num="32" id="2077" />
-<TGConnectingPoint num="33" id="2078" />
-<TGConnectingPoint num="34" id="2079" />
-<TGConnectingPoint num="35" id="2080" />
-<TGConnectingPoint num="36" id="2081" />
-<TGConnectingPoint num="37" id="2082" />
-<TGConnectingPoint num="38" id="2083" />
-<TGConnectingPoint num="39" id="2084" />
-<TGConnectingPoint num="40" id="2085" />
-<TGConnectingPoint num="41" id="2086" />
-<TGConnectingPoint num="42" id="2087" />
-<TGConnectingPoint num="43" id="2088" />
-<TGConnectingPoint num="44" id="2089" />
-<TGConnectingPoint num="45" id="2090" />
-<TGConnectingPoint num="46" id="2091" />
-<TGConnectingPoint num="47" id="2092" />
-<TGConnectingPoint num="48" id="2093" />
-<TGConnectingPoint num="49" id="2094" />
-<TGConnectingPoint num="50" id="2095" />
-<TGConnectingPoint num="51" id="2096" />
-<TGConnectingPoint num="52" id="2097" />
-<TGConnectingPoint num="53" id="2098" />
-<TGConnectingPoint num="54" id="2099" />
-<TGConnectingPoint num="55" id="2100" />
-<TGConnectingPoint num="56" id="2101" />
-<TGConnectingPoint num="57" id="2102" />
-<TGConnectingPoint num="58" id="2103" />
-<TGConnectingPoint num="59" id="2104" />
-<TGConnectingPoint num="60" id="2105" />
-<TGConnectingPoint num="61" id="2106" />
-<TGConnectingPoint num="62" id="2107" />
-<TGConnectingPoint num="63" id="2108" />
-<TGConnectingPoint num="64" id="2109" />
-<TGConnectingPoint num="65" id="2110" />
-<TGConnectingPoint num="66" id="2111" />
-<TGConnectingPoint num="67" id="2112" />
-<TGConnectingPoint num="68" id="2113" />
-<TGConnectingPoint num="69" id="2114" />
-<TGConnectingPoint num="70" id="2115" />
-<TGConnectingPoint num="71" id="2116" />
+<accessibility />
 <tags value="" />
-<extraparam>
-</extraparam>
 </SUBCOMPONENT>
-<SUBCOMPONENT type="5103" id="2128" index="49" uid="9c813d39-192a-47ff-98b2-607e27617acf" >
+<SUBCOMPONENT type="5106" id="2128" index="49" uid="542c0583-8080-46a1-9ae2-775c6446817c" >
 <father id="2298" num="1" />
-<cdparam x="377" y="502" />
-<sizeparam width="130" height="20" minWidth="30" minHeight="1" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" />
+<cdparam x="195" y="434" />
+<sizeparam width="132" height="40" minWidth="40" minHeight="30" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" />
 <hidden value="false" />
 <enabled value="true" />
-<cdrectangleparam minX="0" maxX="447" minY="0" maxY="334" />
-<infoparam name="Send signal" value="ejectCoin(nbOfCoins)" />
+<cdrectangleparam minX="0" maxX="445" minY="0" maxY="314" />
+<infoparam name="state0" value="WaitingForSelection" />
 <new d="false" />
-<TGConnectingPoint num="0" id="2118" />
-<TGConnectingPoint num="1" id="2119" />
-<TGConnectingPoint num="2" id="2120" />
-<TGConnectingPoint num="3" id="2121" />
-<TGConnectingPoint num="4" id="2122" />
-<TGConnectingPoint num="5" id="2123" />
-<TGConnectingPoint num="6" id="2124" />
-<TGConnectingPoint num="7" id="2125" />
-<TGConnectingPoint num="8" id="2126" />
-<TGConnectingPoint num="9" id="2127" />
-<accessibility />
+<TGConnectingPoint num="0" id="2056" />
+<TGConnectingPoint num="1" id="2057" />
+<TGConnectingPoint num="2" id="2058" />
+<TGConnectingPoint num="3" id="2059" />
+<TGConnectingPoint num="4" id="2060" />
+<TGConnectingPoint num="5" id="2061" />
+<TGConnectingPoint num="6" id="2062" />
+<TGConnectingPoint num="7" id="2063" />
+<TGConnectingPoint num="8" id="2064" />
+<TGConnectingPoint num="9" id="2065" />
+<TGConnectingPoint num="10" id="2066" />
+<TGConnectingPoint num="11" id="2067" />
+<TGConnectingPoint num="12" id="2068" />
+<TGConnectingPoint num="13" id="2069" />
+<TGConnectingPoint num="14" id="2070" />
+<TGConnectingPoint num="15" id="2071" />
+<TGConnectingPoint num="16" id="2072" />
+<TGConnectingPoint num="17" id="2073" />
+<TGConnectingPoint num="18" id="2074" />
+<TGConnectingPoint num="19" id="2075" />
+<TGConnectingPoint num="20" id="2076" />
+<TGConnectingPoint num="21" id="2077" />
+<TGConnectingPoint num="22" id="2078" />
+<TGConnectingPoint num="23" id="2079" />
+<TGConnectingPoint num="24" id="2080" />
+<TGConnectingPoint num="25" id="2081" />
+<TGConnectingPoint num="26" id="2082" />
+<TGConnectingPoint num="27" id="2083" />
+<TGConnectingPoint num="28" id="2084" />
+<TGConnectingPoint num="29" id="2085" />
+<TGConnectingPoint num="30" id="2086" />
+<TGConnectingPoint num="31" id="2087" />
+<TGConnectingPoint num="32" id="2088" />
+<TGConnectingPoint num="33" id="2089" />
+<TGConnectingPoint num="34" id="2090" />
+<TGConnectingPoint num="35" id="2091" />
+<TGConnectingPoint num="36" id="2092" />
+<TGConnectingPoint num="37" id="2093" />
+<TGConnectingPoint num="38" id="2094" />
+<TGConnectingPoint num="39" id="2095" />
+<TGConnectingPoint num="40" id="2096" />
+<TGConnectingPoint num="41" id="2097" />
+<TGConnectingPoint num="42" id="2098" />
+<TGConnectingPoint num="43" id="2099" />
+<TGConnectingPoint num="44" id="2100" />
+<TGConnectingPoint num="45" id="2101" />
+<TGConnectingPoint num="46" id="2102" />
+<TGConnectingPoint num="47" id="2103" />
+<TGConnectingPoint num="48" id="2104" />
+<TGConnectingPoint num="49" id="2105" />
+<TGConnectingPoint num="50" id="2106" />
+<TGConnectingPoint num="51" id="2107" />
+<TGConnectingPoint num="52" id="2108" />
+<TGConnectingPoint num="53" id="2109" />
+<TGConnectingPoint num="54" id="2110" />
+<TGConnectingPoint num="55" id="2111" />
+<TGConnectingPoint num="56" id="2112" />
+<TGConnectingPoint num="57" id="2113" />
+<TGConnectingPoint num="58" id="2114" />
+<TGConnectingPoint num="59" id="2115" />
+<TGConnectingPoint num="60" id="2116" />
+<TGConnectingPoint num="61" id="2117" />
+<TGConnectingPoint num="62" id="2118" />
+<TGConnectingPoint num="63" id="2119" />
+<TGConnectingPoint num="64" id="2120" />
+<TGConnectingPoint num="65" id="2121" />
+<TGConnectingPoint num="66" id="2122" />
+<TGConnectingPoint num="67" id="2123" />
+<TGConnectingPoint num="68" id="2124" />
+<TGConnectingPoint num="69" id="2125" />
+<TGConnectingPoint num="70" id="2126" />
+<TGConnectingPoint num="71" id="2127" />
+<latencyCheck />
+<invariant />
+<color value="-13057" />
 <tags value="" />
+<extraparam>
+</extraparam>
 </SUBCOMPONENT>
-<SUBCOMPONENT type="5104" id="2139" index="50" uid="f73b994e-357b-446d-a13d-97a66d7a4653" >
+<SUBCOMPONENT type="5100" id="2130" index="50" uid="d60fd6d2-14be-4b25-b424-35a9ae5e3ba3" >
 <father id="2298" num="2" />
-<cdparam x="63" y="529" />
-<sizeparam width="127" height="20" minWidth="30" minHeight="1" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" />
+<cdparam x="254" y="401" />
+<sizeparam width="15" height="15" minWidth="1" minHeight="1" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" />
 <hidden value="false" />
-<enabled value="true" />
-<cdrectangleparam minX="0" maxX="450" minY="0" maxY="334" />
-<infoparam name="Send signal" value="pushCoffeeButton()" />
+<cdrectangleparam minX="0" maxX="562" minY="0" maxY="339" />
+<infoparam name="start state" value="null" />
 <new d="false" />
 <TGConnectingPoint num="0" id="2129" />
-<TGConnectingPoint num="1" id="2130" />
-<TGConnectingPoint num="2" id="2131" />
-<TGConnectingPoint num="3" id="2132" />
-<TGConnectingPoint num="4" id="2133" />
-<TGConnectingPoint num="5" id="2134" />
-<TGConnectingPoint num="6" id="2135" />
-<TGConnectingPoint num="7" id="2136" />
-<TGConnectingPoint num="8" id="2137" />
-<TGConnectingPoint num="9" id="2138" />
-<accessibility />
 <tags value="" />
 </SUBCOMPONENT>
-<SUBCOMPONENT type="5100" id="2141" index="51" uid="d60fd6d2-14be-4b25-b424-35a9ae5e3ba3" >
+<SUBCOMPONENT type="5104" id="2141" index="51" uid="f73b994e-357b-446d-a13d-97a66d7a4653" >
 <father id="2298" num="3" />
-<cdparam x="254" y="401" />
-<sizeparam width="15" height="15" minWidth="1" minHeight="1" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" />
+<cdparam x="63" y="529" />
+<sizeparam width="127" height="20" minWidth="30" minHeight="1" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" />
 <hidden value="false" />
-<cdrectangleparam minX="0" maxX="562" minY="0" maxY="339" />
-<infoparam name="start state" value="null" />
+<enabled value="true" />
+<cdrectangleparam minX="0" maxX="450" minY="0" maxY="334" />
+<infoparam name="Send signal" value="pushCoffeeButton()" />
 <new d="false" />
-<TGConnectingPoint num="0" id="2140" />
+<TGConnectingPoint num="0" id="2131" />
+<TGConnectingPoint num="1" id="2132" />
+<TGConnectingPoint num="2" id="2133" />
+<TGConnectingPoint num="3" id="2134" />
+<TGConnectingPoint num="4" id="2135" />
+<TGConnectingPoint num="5" id="2136" />
+<TGConnectingPoint num="6" id="2137" />
+<TGConnectingPoint num="7" id="2138" />
+<TGConnectingPoint num="8" id="2139" />
+<TGConnectingPoint num="9" id="2140" />
+<accessibility />
 <tags value="" />
 </SUBCOMPONENT>
-<SUBCOMPONENT type="5106" id="2214" index="52" uid="542c0583-8080-46a1-9ae2-775c6446817c" >
+<SUBCOMPONENT type="5103" id="2152" index="52" uid="9c813d39-192a-47ff-98b2-607e27617acf" >
 <father id="2298" num="4" />
-<cdparam x="195" y="434" />
-<sizeparam width="132" height="40" minWidth="40" minHeight="30" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" />
+<cdparam x="377" y="502" />
+<sizeparam width="130" height="20" minWidth="30" minHeight="1" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" />
 <hidden value="false" />
 <enabled value="true" />
-<cdrectangleparam minX="0" maxX="445" minY="0" maxY="314" />
-<infoparam name="state0" value="WaitingForSelection" />
+<cdrectangleparam minX="0" maxX="447" minY="0" maxY="334" />
+<infoparam name="Send signal" value="ejectCoin(nbOfCoins)" />
 <new d="false" />
 <TGConnectingPoint num="0" id="2142" />
 <TGConnectingPoint num="1" id="2143" />
@@ -4193,95 +4197,93 @@ CoffeeMachine.CoffeeDelivered --&gt; CoffeeMachine.nbOfCoins&lt;2
 <TGConnectingPoint num="7" id="2149" />
 <TGConnectingPoint num="8" id="2150" />
 <TGConnectingPoint num="9" id="2151" />
-<TGConnectingPoint num="10" id="2152" />
-<TGConnectingPoint num="11" id="2153" />
-<TGConnectingPoint num="12" id="2154" />
-<TGConnectingPoint num="13" id="2155" />
-<TGConnectingPoint num="14" id="2156" />
-<TGConnectingPoint num="15" id="2157" />
-<TGConnectingPoint num="16" id="2158" />
-<TGConnectingPoint num="17" id="2159" />
-<TGConnectingPoint num="18" id="2160" />
-<TGConnectingPoint num="19" id="2161" />
-<TGConnectingPoint num="20" id="2162" />
-<TGConnectingPoint num="21" id="2163" />
-<TGConnectingPoint num="22" id="2164" />
-<TGConnectingPoint num="23" id="2165" />
-<TGConnectingPoint num="24" id="2166" />
-<TGConnectingPoint num="25" id="2167" />
-<TGConnectingPoint num="26" id="2168" />
-<TGConnectingPoint num="27" id="2169" />
-<TGConnectingPoint num="28" id="2170" />
-<TGConnectingPoint num="29" id="2171" />
-<TGConnectingPoint num="30" id="2172" />
-<TGConnectingPoint num="31" id="2173" />
-<TGConnectingPoint num="32" id="2174" />
-<TGConnectingPoint num="33" id="2175" />
-<TGConnectingPoint num="34" id="2176" />
-<TGConnectingPoint num="35" id="2177" />
-<TGConnectingPoint num="36" id="2178" />
-<TGConnectingPoint num="37" id="2179" />
-<TGConnectingPoint num="38" id="2180" />
-<TGConnectingPoint num="39" id="2181" />
-<TGConnectingPoint num="40" id="2182" />
-<TGConnectingPoint num="41" id="2183" />
-<TGConnectingPoint num="42" id="2184" />
-<TGConnectingPoint num="43" id="2185" />
-<TGConnectingPoint num="44" id="2186" />
-<TGConnectingPoint num="45" id="2187" />
-<TGConnectingPoint num="46" id="2188" />
-<TGConnectingPoint num="47" id="2189" />
-<TGConnectingPoint num="48" id="2190" />
-<TGConnectingPoint num="49" id="2191" />
-<TGConnectingPoint num="50" id="2192" />
-<TGConnectingPoint num="51" id="2193" />
-<TGConnectingPoint num="52" id="2194" />
-<TGConnectingPoint num="53" id="2195" />
-<TGConnectingPoint num="54" id="2196" />
-<TGConnectingPoint num="55" id="2197" />
-<TGConnectingPoint num="56" id="2198" />
-<TGConnectingPoint num="57" id="2199" />
-<TGConnectingPoint num="58" id="2200" />
-<TGConnectingPoint num="59" id="2201" />
-<TGConnectingPoint num="60" id="2202" />
-<TGConnectingPoint num="61" id="2203" />
-<TGConnectingPoint num="62" id="2204" />
-<TGConnectingPoint num="63" id="2205" />
-<TGConnectingPoint num="64" id="2206" />
-<TGConnectingPoint num="65" id="2207" />
-<TGConnectingPoint num="66" id="2208" />
-<TGConnectingPoint num="67" id="2209" />
-<TGConnectingPoint num="68" id="2210" />
-<TGConnectingPoint num="69" id="2211" />
-<TGConnectingPoint num="70" id="2212" />
-<TGConnectingPoint num="71" id="2213" />
-<latencyCheck />
-<color value="-13057" />
+<accessibility />
 <tags value="" />
-<extraparam>
-</extraparam>
 </SUBCOMPONENT>
-<SUBCOMPONENT type="5104" id="2225" index="53" uid="8718a1dd-4942-43e5-b6ce-b5f78b82a355" >
+<SUBCOMPONENT type="5106" id="2225" index="53" uid="52044bb2-8b01-4108-a1ac-b5e7886ea624" >
 <father id="2298" num="5" />
-<cdparam x="242" y="529" />
-<sizeparam width="112" height="20" minWidth="30" minHeight="1" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" />
+<cdparam x="53" y="653" />
+<sizeparam width="146" height="49" minWidth="40" minHeight="30" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" />
 <hidden value="false" />
 <enabled value="true" />
-<cdrectangleparam minX="0" maxX="465" minY="0" maxY="334" />
-<infoparam name="Send signal" value="pushTeaButton()" />
+<cdrectangleparam minX="0" maxX="431" minY="0" maxY="305" />
+<infoparam name="state0" value="CoffeeDelivered" />
 <new d="false" />
-<TGConnectingPoint num="0" id="2215" />
-<TGConnectingPoint num="1" id="2216" />
-<TGConnectingPoint num="2" id="2217" />
-<TGConnectingPoint num="3" id="2218" />
-<TGConnectingPoint num="4" id="2219" />
-<TGConnectingPoint num="5" id="2220" />
-<TGConnectingPoint num="6" id="2221" />
-<TGConnectingPoint num="7" id="2222" />
-<TGConnectingPoint num="8" id="2223" />
-<TGConnectingPoint num="9" id="2224" />
-<accessibility />
+<TGConnectingPoint num="0" id="2153" />
+<TGConnectingPoint num="1" id="2154" />
+<TGConnectingPoint num="2" id="2155" />
+<TGConnectingPoint num="3" id="2156" />
+<TGConnectingPoint num="4" id="2157" />
+<TGConnectingPoint num="5" id="2158" />
+<TGConnectingPoint num="6" id="2159" />
+<TGConnectingPoint num="7" id="2160" />
+<TGConnectingPoint num="8" id="2161" />
+<TGConnectingPoint num="9" id="2162" />
+<TGConnectingPoint num="10" id="2163" />
+<TGConnectingPoint num="11" id="2164" />
+<TGConnectingPoint num="12" id="2165" />
+<TGConnectingPoint num="13" id="2166" />
+<TGConnectingPoint num="14" id="2167" />
+<TGConnectingPoint num="15" id="2168" />
+<TGConnectingPoint num="16" id="2169" />
+<TGConnectingPoint num="17" id="2170" />
+<TGConnectingPoint num="18" id="2171" />
+<TGConnectingPoint num="19" id="2172" />
+<TGConnectingPoint num="20" id="2173" />
+<TGConnectingPoint num="21" id="2174" />
+<TGConnectingPoint num="22" id="2175" />
+<TGConnectingPoint num="23" id="2176" />
+<TGConnectingPoint num="24" id="2177" />
+<TGConnectingPoint num="25" id="2178" />
+<TGConnectingPoint num="26" id="2179" />
+<TGConnectingPoint num="27" id="2180" />
+<TGConnectingPoint num="28" id="2181" />
+<TGConnectingPoint num="29" id="2182" />
+<TGConnectingPoint num="30" id="2183" />
+<TGConnectingPoint num="31" id="2184" />
+<TGConnectingPoint num="32" id="2185" />
+<TGConnectingPoint num="33" id="2186" />
+<TGConnectingPoint num="34" id="2187" />
+<TGConnectingPoint num="35" id="2188" />
+<TGConnectingPoint num="36" id="2189" />
+<TGConnectingPoint num="37" id="2190" />
+<TGConnectingPoint num="38" id="2191" />
+<TGConnectingPoint num="39" id="2192" />
+<TGConnectingPoint num="40" id="2193" />
+<TGConnectingPoint num="41" id="2194" />
+<TGConnectingPoint num="42" id="2195" />
+<TGConnectingPoint num="43" id="2196" />
+<TGConnectingPoint num="44" id="2197" />
+<TGConnectingPoint num="45" id="2198" />
+<TGConnectingPoint num="46" id="2199" />
+<TGConnectingPoint num="47" id="2200" />
+<TGConnectingPoint num="48" id="2201" />
+<TGConnectingPoint num="49" id="2202" />
+<TGConnectingPoint num="50" id="2203" />
+<TGConnectingPoint num="51" id="2204" />
+<TGConnectingPoint num="52" id="2205" />
+<TGConnectingPoint num="53" id="2206" />
+<TGConnectingPoint num="54" id="2207" />
+<TGConnectingPoint num="55" id="2208" />
+<TGConnectingPoint num="56" id="2209" />
+<TGConnectingPoint num="57" id="2210" />
+<TGConnectingPoint num="58" id="2211" />
+<TGConnectingPoint num="59" id="2212" />
+<TGConnectingPoint num="60" id="2213" />
+<TGConnectingPoint num="61" id="2214" />
+<TGConnectingPoint num="62" id="2215" />
+<TGConnectingPoint num="63" id="2216" />
+<TGConnectingPoint num="64" id="2217" />
+<TGConnectingPoint num="65" id="2218" />
+<TGConnectingPoint num="66" id="2219" />
+<TGConnectingPoint num="67" id="2220" />
+<TGConnectingPoint num="68" id="2221" />
+<TGConnectingPoint num="69" id="2222" />
+<TGConnectingPoint num="70" id="2223" />
+<TGConnectingPoint num="71" id="2224" />
 <tags value="" />
+<extraparam>
+</extraparam>
 </SUBCOMPONENT>
 
 
@@ -4792,3276 +4794,4 @@ CoffeeMachine.CoffeeDelivered --&gt; CoffeeMachine.nbOfCoins&lt;2
 
 
 
-<Modeling type="AVATAR Design" nameTab="Design__20241115_104911" tabs="Design$Wallet$CoffeeMachine$TeaButton$CoffeeButton" >
-<AVATARBlockDiagramPanel name="Block Diagram" minX="10" maxX="2500" minY="10" maxY="1500" zoom="1.0" >
-<MainCode value="void __user_init() {"/>
-<MainCode value="}"/>
-<Optimized value="true" />
-<considerTimingOperators value="true" />
-<Validated value="" />
-<Ignored value="" />
-
-<COMPONENT type="301" id="4358" index="0" uid="a11849e0-dd55-427d-a810-4f7d93f05700" >
-<cdparam x="956" y="143" />
-<sizeparam width="274" height="39" minWidth="20" minHeight="10" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" />
-<hidden value="false" />
-<cdrectangleparam minX="10" maxX="2500" minY="10" maxY="1500" />
-<infoparam name="UML Note" value="CoffeeMachine featuring two main functions:
-- coin ejection
-- tea or coffee selection
-" />
-<new d="false" />
-<TGConnectingPoint num="0" id="4359" />
-<TGConnectingPoint num="1" id="4360" />
-<TGConnectingPoint num="2" id="4361" />
-<TGConnectingPoint num="3" id="4362" />
-<TGConnectingPoint num="4" id="4363" />
-<TGConnectingPoint num="5" id="4364" />
-<TGConnectingPoint num="6" id="4365" />
-<TGConnectingPoint num="7" id="4366" />
-<TGConnectingPoint num="8" id="4367" />
-<TGConnectingPoint num="9" id="4368" />
-<TGConnectingPoint num="10" id="4369" />
-<TGConnectingPoint num="11" id="4370" />
-<TGConnectingPoint num="12" id="4371" />
-<TGConnectingPoint num="13" id="4372" />
-<TGConnectingPoint num="14" id="4373" />
-<TGConnectingPoint num="15" id="4374" />
-<tags value="" />
-<extraparam>
-<Line value="CoffeeMachine featuring two main functions:" />
-<Line value="- coin ejection" />
-<Line value="- tea or coffee selection" />
-</extraparam>
-</COMPONENT>
-
-<COMPONENT type="307" id="4341" index="1" uid="bdc3ea32-914d-462e-90fa-a8f70203b108" >
-<cdparam x="716" y="457" />
-<sizeparam width="548" height="105" minWidth="80" minHeight="10" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" />
-<hidden value="false" />
-<cdrectangleparam minX="10" maxX="2500" minY="10" maxY="1500" />
-<infoparam name="Performance Pragma" value="
-Latency(CoffeeMachine.WaitingForFirstCoin,CoffeeMachine.WaitingForSecondCoin)&lt;10" />
-<new d="false" />
-<TGConnectingPoint num="0" id="4342" />
-<TGConnectingPoint num="1" id="4343" />
-<TGConnectingPoint num="2" id="4344" />
-<TGConnectingPoint num="3" id="4345" />
-<TGConnectingPoint num="4" id="4346" />
-<TGConnectingPoint num="5" id="4347" />
-<TGConnectingPoint num="6" id="4348" />
-<TGConnectingPoint num="7" id="4349" />
-<TGConnectingPoint num="8" id="4350" />
-<TGConnectingPoint num="9" id="4351" />
-<TGConnectingPoint num="10" id="4352" />
-<TGConnectingPoint num="11" id="4353" />
-<TGConnectingPoint num="12" id="4354" />
-<TGConnectingPoint num="13" id="4355" />
-<TGConnectingPoint num="14" id="4356" />
-<TGConnectingPoint num="15" id="4357" />
-<tags value="" />
-<extraparam>
-<Line value="" />
-<Line value="Latency(CoffeeMachine.WaitingForFirstCoin,CoffeeMachine.WaitingForSecondCoin)&lt;10" />
-</extraparam>
-</COMPONENT>
-
-<COMPONENT type="303" id="4324" index="2" uid="d237cb02-1d51-4506-a6ab-1d88d7fe214b" >
-<cdparam x="21" y="412" />
-<sizeparam width="646" height="214" minWidth="80" minHeight="10" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" />
-<hidden value="false" />
-<cdrectangleparam minX="10" maxX="2500" minY="10" maxY="1500" />
-<infoparam name="Safety Pragma" value="
-A[] CoffeeMachine.nbOfCoins&lt;=2
-T E&lt;&gt; CoffeeMachine.nbOfCoins&gt;0
-E&lt;&gt; CoffeeMachine.nbOfCoins&gt;1
-E[] CoffeeMachine.nbOfCoins&lt;2
-A[] Wallet.nbOfCoins&lt;3
-A[] Wallet.nbOfCoins&gt;=0
-E[] Wallet.nbOfCoins&gt;=1
-F CoffeeMachine.Beverage --&gt; CoffeeMachine.CoffeeDelivered
-CoffeeMachine.Beverage --&gt; CoffeeMachine.CoffeeDelivered &amp;&amp; CoffeeMachine.TeaDelivered
-CoffeeMachine.Beverage --&gt; CoffeeMachine.CoffeeDelivered || CoffeeMachine.TeaDelivered
-CoffeeMachine.Beverage --&gt; CoffeeMachine.WaitingForFirstCoin 
-F CoffeeMachine.WaitingForFirstCoin --&gt; CoffeeMachine.EjectState
-CoffeeMachine.WaitingForFirstCoin --&gt; CoffeeMachine.EjectState || CoffeeMachine.WaitingForSecondCoin
-CoffeeMachine.CoffeeDelivered --&gt; CoffeeMachine.nbOfCoins&lt;2" />
-<new d="false" />
-<TGConnectingPoint num="0" id="4325" />
-<TGConnectingPoint num="1" id="4326" />
-<TGConnectingPoint num="2" id="4327" />
-<TGConnectingPoint num="3" id="4328" />
-<TGConnectingPoint num="4" id="4329" />
-<TGConnectingPoint num="5" id="4330" />
-<TGConnectingPoint num="6" id="4331" />
-<TGConnectingPoint num="7" id="4332" />
-<TGConnectingPoint num="8" id="4333" />
-<TGConnectingPoint num="9" id="4334" />
-<TGConnectingPoint num="10" id="4335" />
-<TGConnectingPoint num="11" id="4336" />
-<TGConnectingPoint num="12" id="4337" />
-<TGConnectingPoint num="13" id="4338" />
-<TGConnectingPoint num="14" id="4339" />
-<TGConnectingPoint num="15" id="4340" />
-<tags value="" />
-<extraparam>
-<Line value="" />
-<Line value="A[] CoffeeMachine.nbOfCoins&lt;=2" />
-<Line value="T E&lt;&gt; CoffeeMachine.nbOfCoins&gt;0" />
-<Line value="E&lt;&gt; CoffeeMachine.nbOfCoins&gt;1" />
-<Line value="E[] CoffeeMachine.nbOfCoins&lt;2" />
-<Line value="A[] Wallet.nbOfCoins&lt;3" />
-<Line value="A[] Wallet.nbOfCoins&gt;=0" />
-<Line value="E[] Wallet.nbOfCoins&gt;=1" />
-<Line value="F CoffeeMachine.Beverage --&gt; CoffeeMachine.CoffeeDelivered" />
-<Line value="CoffeeMachine.Beverage --&gt; CoffeeMachine.CoffeeDelivered &amp;&amp; CoffeeMachine.TeaDelivered" />
-<Line value="CoffeeMachine.Beverage --&gt; CoffeeMachine.CoffeeDelivered || CoffeeMachine.TeaDelivered" />
-<Line value="CoffeeMachine.Beverage --&gt; CoffeeMachine.WaitingForFirstCoin " />
-<Line value="F CoffeeMachine.WaitingForFirstCoin --&gt; CoffeeMachine.EjectState" />
-<Line value="CoffeeMachine.WaitingForFirstCoin --&gt; CoffeeMachine.EjectState || CoffeeMachine.WaitingForSecondCoin" />
-<Line value="CoffeeMachine.CoffeeDelivered --&gt; CoffeeMachine.nbOfCoins&lt;2" />
-</extraparam>
-</COMPONENT>
-
-<CONNECTOR type="5002" id="4322" index="3" uid="d99559d1-87dd-4867-a503-0983cb260fd0" >
-<cdparam x="0" y="0" />
-<sizeparam width="0" height="0" minWidth="0" minHeight="0" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" />
-<infoparam name="connector" value="" />
-<TGConnectingPoint num="0" id="4323" />
-<P1  x="787" y="345" id="3797" />
-<P2  x="787" y="373" id="2915" />
-<AutomaticDrawing  data="true" />
-<new d="false" />
-<extraparam>
-<isd value="in pushTeaButton()" />
-<oso value="out push()" />
-<FIFOType asynchronous="false" synchronousCH="true" size="1024" blocking="false" private="true" broadcast="false" lossy="false" ams="false" />
-</extraparam>
-</CONNECTOR>
-<CONNECTOR type="5002" id="4320" index="4" uid="2dd2e5cd-9b23-474e-8c12-e618f4e27dcf" >
-<cdparam x="0" y="0" />
-<sizeparam width="0" height="0" minWidth="0" minHeight="0" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" />
-<infoparam name="connector" value="" />
-<TGConnectingPoint num="0" id="4321" />
-<P1  x="302" y="106" id="2590" />
-<P2  x="442" y="106" id="2910" />
-<AutomaticDrawing  data="true" />
-<new d="false" />
-<extraparam>
-<iso value="in getCoin(int nbOfCoins)" />
-<osd value="out ejectCoin(int nbOfCoins)" />
-<isd value="in getCoin(int nbOfCoins)" />
-<oso value="out putCoin(int nbOfCoins)" />
-<FIFOType asynchronous="false" synchronousCH="true" size="1024" blocking="false" private="true" broadcast="false" lossy="false" ams="false" />
-</extraparam>
-</CONNECTOR>
-<CONNECTOR type="5002" id="4318" index="5" uid="3f94f4e0-bbc9-4c17-aae9-2354d8edfe66" >
-<cdparam x="0" y="0" />
-<sizeparam width="0" height="0" minWidth="0" minHeight="0" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" />
-<infoparam name="connector" value="" />
-<TGConnectingPoint num="0" id="4319" />
-<P1  x="556" y="346" id="4020" />
-<P2  x="557" y="373" id="2914" />
-<AutomaticDrawing  data="true" />
-<new d="false" />
-<extraparam>
-<isd value="in pushCoffeeButton()" />
-<oso value="out push()" />
-<FIFOType asynchronous="false" synchronousCH="true" size="1024" blocking="false" private="true" broadcast="false" lossy="false" ams="false" />
-</extraparam>
-</CONNECTOR>
-<COMPONENT type="5000" id="2899" index="6" uid="ea71bdb7-b18a-4f44-8512-29673b3bb4cd" >
-<cdparam x="442" y="17" />
-<sizeparam width="460" height="356" minWidth="5" minHeight="2" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" />
-<hidden value="false" />
-<cdrectangleparam minX="10" maxX="2500" minY="10" maxY="1500" />
-<infoparam name="Block" value="CoffeeMachine" />
-<new d="false" />
-<TGConnectingPoint num="0" id="2900" />
-<TGConnectingPoint num="1" id="2901" />
-<TGConnectingPoint num="2" id="2902" />
-<TGConnectingPoint num="3" id="2903" />
-<TGConnectingPoint num="4" id="2904" />
-<TGConnectingPoint num="5" id="2905" />
-<TGConnectingPoint num="6" id="2906" />
-<TGConnectingPoint num="7" id="2907" />
-<TGConnectingPoint num="8" id="2908" />
-<TGConnectingPoint num="9" id="2909" />
-<TGConnectingPoint num="10" id="2910" />
-<TGConnectingPoint num="11" id="2911" />
-<TGConnectingPoint num="12" id="2912" />
-<TGConnectingPoint num="13" id="2913" />
-<TGConnectingPoint num="14" id="2914" />
-<TGConnectingPoint num="15" id="2915" />
-<TGConnectingPoint num="16" id="2916" />
-<TGConnectingPoint num="17" id="2917" />
-<TGConnectingPoint num="18" id="2918" />
-<TGConnectingPoint num="19" id="2919" />
-<TGConnectingPoint num="20" id="2920" />
-<TGConnectingPoint num="21" id="2921" />
-<TGConnectingPoint num="22" id="2922" />
-<TGConnectingPoint num="23" id="2923" />
-<TGConnectingPoint num="24" id="2924" />
-<TGConnectingPoint num="25" id="2925" />
-<TGConnectingPoint num="26" id="2926" />
-<TGConnectingPoint num="27" id="2927" />
-<TGConnectingPoint num="28" id="2928" />
-<TGConnectingPoint num="29" id="2929" />
-<TGConnectingPoint num="30" id="2930" />
-<TGConnectingPoint num="31" id="2931" />
-<TGConnectingPoint num="32" id="2932" />
-<TGConnectingPoint num="33" id="2933" />
-<TGConnectingPoint num="34" id="2934" />
-<TGConnectingPoint num="35" id="2935" />
-<TGConnectingPoint num="36" id="2936" />
-<TGConnectingPoint num="37" id="2937" />
-<TGConnectingPoint num="38" id="2938" />
-<TGConnectingPoint num="39" id="2939" />
-<tags value="" />
-<extraparam>
-<blockType data="block" color="-4072719" />
-<CryptoBlock value="false" />
-<Attribute access="0" var="0" id="teaMinDelay" value="3" type="0" typeOther="" />
-<Attribute access="0" var="0" id="teaMaxDelay" value="8" type="0" typeOther="" />
-<Attribute access="0" var="0" id="coffeeMinDelay" value="5" type="0" typeOther="" />
-<Attribute access="0" var="0" id="coffeeMaxDelay" value="10" type="0" typeOther="" />
-<Attribute access="0" var="0" id="coinDelay" value="50" type="0" typeOther="" />
-<Attribute access="0" var="0" id="x" value="0" type="0" typeOther="" />
-<Attribute access="0" var="0" id="nbOfCoins" value="0" type="0" typeOther="" />
-<Method value="beverageReady()" />
-<Signal value="in pushCoffeeButton()" attached="true" />
-<Signal value="in pushTeaButton()" attached="true" />
-<Signal value="in getCoin(int nbOfCoins)" attached="true" />
-<Signal value="out ejectCoin(int nbOfCoins)" attached="true" />
-</extraparam>
-</COMPONENT>
-<SUBCOMPONENT type="5000" id="4013" index="-1" uid="3c4ab1d8-e7d3-4894-a859-aec802d0122e" >
-<father id="2899" num="0" />
-<cdparam x="462" y="246" />
-<sizeparam width="188" height="100" minWidth="5" minHeight="2" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" />
-<hidden value="false" />
-<cdrectangleparam minX="0" maxX="272" minY="0" maxY="256" />
-<infoparam name="Block" value="CoffeeButton" />
-<new d="false" />
-<TGConnectingPoint num="0" id="4014" />
-<TGConnectingPoint num="1" id="4015" />
-<TGConnectingPoint num="2" id="4016" />
-<TGConnectingPoint num="3" id="4017" />
-<TGConnectingPoint num="4" id="4018" />
-<TGConnectingPoint num="5" id="4019" />
-<TGConnectingPoint num="6" id="4020" />
-<TGConnectingPoint num="7" id="4021" />
-<TGConnectingPoint num="8" id="4022" />
-<TGConnectingPoint num="9" id="4023" />
-<TGConnectingPoint num="10" id="4024" />
-<TGConnectingPoint num="11" id="4025" />
-<TGConnectingPoint num="12" id="4026" />
-<TGConnectingPoint num="13" id="4027" />
-<TGConnectingPoint num="14" id="4028" />
-<TGConnectingPoint num="15" id="4029" />
-<TGConnectingPoint num="16" id="4030" />
-<TGConnectingPoint num="17" id="4031" />
-<TGConnectingPoint num="18" id="4032" />
-<TGConnectingPoint num="19" id="4033" />
-<TGConnectingPoint num="20" id="4034" />
-<TGConnectingPoint num="21" id="4035" />
-<TGConnectingPoint num="22" id="4036" />
-<TGConnectingPoint num="23" id="4037" />
-<TGConnectingPoint num="24" id="4038" />
-<TGConnectingPoint num="25" id="4039" />
-<TGConnectingPoint num="26" id="4040" />
-<TGConnectingPoint num="27" id="4041" />
-<TGConnectingPoint num="28" id="4042" />
-<TGConnectingPoint num="29" id="4043" />
-<TGConnectingPoint num="30" id="4044" />
-<TGConnectingPoint num="31" id="4045" />
-<TGConnectingPoint num="32" id="4046" />
-<TGConnectingPoint num="33" id="4047" />
-<TGConnectingPoint num="34" id="4048" />
-<TGConnectingPoint num="35" id="4049" />
-<TGConnectingPoint num="36" id="4050" />
-<TGConnectingPoint num="37" id="4051" />
-<TGConnectingPoint num="38" id="4052" />
-<TGConnectingPoint num="39" id="4053" />
-<tags value="" />
-<extraparam>
-<blockType data="block" color="-4072719" />
-<CryptoBlock value="false" />
-<Attribute access="0" var="0" id="mechanicalDelay" value="10" type="0" typeOther="" />
-<Signal value="out push()" attached="true" />
-</extraparam>
-</SUBCOMPONENT>
-<SUBCOMPONENT type="5000" id="3790" index="-1" uid="d824a36a-b167-4679-8592-974387b3b60b" >
-<father id="2899" num="1" />
-<cdparam x="694" y="245" />
-<sizeparam width="186" height="100" minWidth="5" minHeight="2" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" />
-<hidden value="false" />
-<cdrectangleparam minX="0" maxX="274" minY="0" maxY="256" />
-<infoparam name="Block" value="TeaButton" />
-<new d="false" />
-<TGConnectingPoint num="0" id="3791" />
-<TGConnectingPoint num="1" id="3792" />
-<TGConnectingPoint num="2" id="3793" />
-<TGConnectingPoint num="3" id="3794" />
-<TGConnectingPoint num="4" id="3795" />
-<TGConnectingPoint num="5" id="3796" />
-<TGConnectingPoint num="6" id="3797" />
-<TGConnectingPoint num="7" id="3798" />
-<TGConnectingPoint num="8" id="3799" />
-<TGConnectingPoint num="9" id="3800" />
-<TGConnectingPoint num="10" id="3801" />
-<TGConnectingPoint num="11" id="3802" />
-<TGConnectingPoint num="12" id="3803" />
-<TGConnectingPoint num="13" id="3804" />
-<TGConnectingPoint num="14" id="3805" />
-<TGConnectingPoint num="15" id="3806" />
-<TGConnectingPoint num="16" id="3807" />
-<TGConnectingPoint num="17" id="3808" />
-<TGConnectingPoint num="18" id="3809" />
-<TGConnectingPoint num="19" id="3810" />
-<TGConnectingPoint num="20" id="3811" />
-<TGConnectingPoint num="21" id="3812" />
-<TGConnectingPoint num="22" id="3813" />
-<TGConnectingPoint num="23" id="3814" />
-<TGConnectingPoint num="24" id="3815" />
-<TGConnectingPoint num="25" id="3816" />
-<TGConnectingPoint num="26" id="3817" />
-<TGConnectingPoint num="27" id="3818" />
-<TGConnectingPoint num="28" id="3819" />
-<TGConnectingPoint num="29" id="3820" />
-<TGConnectingPoint num="30" id="3821" />
-<TGConnectingPoint num="31" id="3822" />
-<TGConnectingPoint num="32" id="3823" />
-<TGConnectingPoint num="33" id="3824" />
-<TGConnectingPoint num="34" id="3825" />
-<TGConnectingPoint num="35" id="3826" />
-<TGConnectingPoint num="36" id="3827" />
-<TGConnectingPoint num="37" id="3828" />
-<TGConnectingPoint num="38" id="3829" />
-<TGConnectingPoint num="39" id="3830" />
-<tags value="" />
-<extraparam>
-<blockType data="block" color="-4072719" />
-<CryptoBlock value="false" />
-<Attribute access="0" var="0" id="mechanicalDelay" value="10" type="0" typeOther="" />
-<Signal value="out push()" attached="true" />
-</extraparam>
-</SUBCOMPONENT>
-
-<COMPONENT type="5000" id="2578" index="7" uid="6969850e-e1dc-4901-9511-2f29ca4d0ef9" >
-<cdparam x="102" y="52" />
-<sizeparam width="200" height="216" minWidth="5" minHeight="2" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" />
-<hidden value="false" />
-<cdrectangleparam minX="10" maxX="2500" minY="10" maxY="1500" />
-<infoparam name="Block" value="Wallet" />
-<new d="false" />
-<TGConnectingPoint num="0" id="2579" />
-<TGConnectingPoint num="1" id="2580" />
-<TGConnectingPoint num="2" id="2581" />
-<TGConnectingPoint num="3" id="2582" />
-<TGConnectingPoint num="4" id="2583" />
-<TGConnectingPoint num="5" id="2584" />
-<TGConnectingPoint num="6" id="2585" />
-<TGConnectingPoint num="7" id="2586" />
-<TGConnectingPoint num="8" id="2587" />
-<TGConnectingPoint num="9" id="2588" />
-<TGConnectingPoint num="10" id="2589" />
-<TGConnectingPoint num="11" id="2590" />
-<TGConnectingPoint num="12" id="2591" />
-<TGConnectingPoint num="13" id="2592" />
-<TGConnectingPoint num="14" id="2593" />
-<TGConnectingPoint num="15" id="2594" />
-<TGConnectingPoint num="16" id="2595" />
-<TGConnectingPoint num="17" id="2596" />
-<TGConnectingPoint num="18" id="2597" />
-<TGConnectingPoint num="19" id="2598" />
-<TGConnectingPoint num="20" id="2599" />
-<TGConnectingPoint num="21" id="2600" />
-<TGConnectingPoint num="22" id="2601" />
-<TGConnectingPoint num="23" id="2602" />
-<TGConnectingPoint num="24" id="2603" />
-<TGConnectingPoint num="25" id="2604" />
-<TGConnectingPoint num="26" id="2605" />
-<TGConnectingPoint num="27" id="2606" />
-<TGConnectingPoint num="28" id="2607" />
-<TGConnectingPoint num="29" id="2608" />
-<TGConnectingPoint num="30" id="2609" />
-<TGConnectingPoint num="31" id="2610" />
-<TGConnectingPoint num="32" id="2611" />
-<TGConnectingPoint num="33" id="2612" />
-<TGConnectingPoint num="34" id="2613" />
-<TGConnectingPoint num="35" id="2614" />
-<TGConnectingPoint num="36" id="2615" />
-<TGConnectingPoint num="37" id="2616" />
-<TGConnectingPoint num="38" id="2617" />
-<TGConnectingPoint num="39" id="2618" />
-<tags value="" />
-<extraparam>
-<blockType data="block" color="-4072719" />
-<CryptoBlock value="false" />
-<Attribute access="0" var="0" id="nbOfCoins" value="2" type="0" typeOther="" />
-<Attribute access="0" var="0" id="x" value="1" type="0" typeOther="" />
-<Attribute access="0" var="0" id="minUserDelay" value="50" type="0" typeOther="" />
-<Attribute access="0" var="0" id="maxUserDelay" value="70" type="0" typeOther="" />
-<Method value="contentOfWallet(int nbOfCoins)" />
-<Signal value="in getCoin(int nbOfCoins)" attached="true" />
-<Signal value="out putCoin(int nbOfCoins)" attached="true" />
-</extraparam>
-</COMPONENT>
-
-
-</AVATARBlockDiagramPanel>
-
-<AVATARStateMachineDiagramPanel name="Wallet" minX="10" maxX="2500" minY="10" maxY="1500" zoom="1.0" >
-<CONNECTOR type="5102" id="2892" index="0" uid="3e4c684e-7b4c-4c98-975f-d0b2a80b7e5a" >
-<cdparam x="251" y="231" />
-<sizeparam width="0" height="0" minWidth="0" minHeight="0" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" />
-<infoparam name="connector" value="null" />
-<TGConnectingPoint num="0" id="2893" />
-<P1  x="251" y="231" id="2855" />
-<P2  x="251" y="300" id="2698" />
-<AutomaticDrawing  data="true" />
-<new d="false" />
-</CONNECTOR><SUBCOMPONENT type="-1" id="2894" index="-1" uid="aa65c2c5-17cb-401c-84cb-16beeb570908" >
-<father id="2892" num="0" />
-<cdparam x="96" y="232" />
-<sizeparam width="225" height="62" minWidth="0" minHeight="0" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" />
-<hidden value="false" />
-<enabled value="true" />
-<cdrectangleparam minX="10" maxX="2500" minY="10" maxY="1500" />
-<infoparam name="List of all parameters of an Avatar SMD transition" value="" />
-<new d="false" />
-<TGConnectingPoint num="0" id="2895" />
-<TGConnectingPoint num="1" id="2896" />
-<TGConnectingPoint num="2" id="2897" />
-<TGConnectingPoint num="3" id="2898" />
-<tags value="" />
-<extraparam>
-<guard value="[ ]" enabled="true"/>
-<afterMin value="minUserDelay" enabled="true"/>
-<afterMax value="maxUserDelay" enabled="true"/>
-<extraDelay1 value="" enabled="true"/>
-<extraDelay2 value="" enabled="true"/>
-<delayDistributionLaw value="0" enabled="true"/>
-<computeMin value="" enabled="true"/>
-<computeMax value="" enabled="true"/>
-<probability value="0.99" enabled="true"/>
-<actions value="nbOfCoins=nbOfCoins-x" enabled="true"/>
-<actions value="contentOfWallet(nbOfCoins)" enabled="true"/>
-</extraparam>
-</SUBCOMPONENT>
-
-<CONNECTOR type="5102" id="2885" index="1" uid="55a20dca-8c78-4999-b72b-f428e6fd6bb4" >
-<cdparam x="485" y="219" />
-<sizeparam width="0" height="0" minWidth="0" minHeight="0" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" />
-<infoparam name="connector" value="null" />
-<TGConnectingPoint num="0" id="2886" />
-<P1  x="485" y="219" id="2844" />
-<P2  x="485" y="275" id="2625" />
-<AutomaticDrawing  data="true" />
-<new d="false" />
-</CONNECTOR><SUBCOMPONENT type="-1" id="2887" index="-1" uid="f60253c4-fb97-459e-9cf1-cc904eebd1ef" >
-<father id="2885" num="0" />
-<cdparam x="490" y="220" />
-<sizeparam width="173" height="32" minWidth="0" minHeight="0" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" />
-<hidden value="false" />
-<enabled value="true" />
-<cdrectangleparam minX="10" maxX="2500" minY="10" maxY="1500" />
-<infoparam name="List of all parameters of an Avatar SMD transition" value="" />
-<new d="false" />
-<TGConnectingPoint num="0" id="2888" />
-<TGConnectingPoint num="1" id="2889" />
-<TGConnectingPoint num="2" id="2890" />
-<TGConnectingPoint num="3" id="2891" />
-<tags value="" />
-<extraparam>
-<guard value="[ ]" enabled="true"/>
-<afterMin value="" enabled="true"/>
-<afterMax value="" enabled="true"/>
-<extraDelay1 value="" enabled="true"/>
-<extraDelay2 value="" enabled="true"/>
-<delayDistributionLaw value="0" enabled="true"/>
-<computeMin value="" enabled="true"/>
-<computeMax value="" enabled="true"/>
-<probability value="" enabled="true"/>
-<actions value="nbOfCoins=nbOfCoins+x" enabled="true"/>
-<actions value="contentOfWallet(nbOfCoins)" enabled="true"/>
-</extraparam>
-</SUBCOMPONENT>
-
-<CONNECTOR type="5102" id="2878" index="2" uid="8eab8442-dbb3-42a8-91b1-719763edc63b" >
-<cdparam x="370" y="64" />
-<sizeparam width="0" height="0" minWidth="0" minHeight="0" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" />
-<infoparam name="connector" value="null" />
-<TGConnectingPoint num="0" id="2879" />
-<P1  x="370" y="64" id="2622" />
-<P2  x="370" y="135" id="2771" />
-<AutomaticDrawing  data="true" />
-<new d="false" />
-</CONNECTOR><SUBCOMPONENT type="-1" id="2880" index="-1" uid="afa9e35f-6ac1-4276-b36e-a9b37893191d" >
-<father id="2878" num="0" />
-<cdparam x="387" y="89" />
-<sizeparam width="173" height="32" minWidth="0" minHeight="0" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" />
-<hidden value="false" />
-<enabled value="true" />
-<cdrectangleparam minX="10" maxX="2500" minY="10" maxY="1500" />
-<infoparam name="List of all parameters of an Avatar SMD transition" value="" />
-<new d="false" />
-<TGConnectingPoint num="0" id="2881" />
-<TGConnectingPoint num="1" id="2882" />
-<TGConnectingPoint num="2" id="2883" />
-<TGConnectingPoint num="3" id="2884" />
-<tags value="" />
-<extraparam>
-<guard value="[ ]" enabled="true"/>
-<afterMin value="" enabled="true"/>
-<afterMax value="" enabled="true"/>
-<extraDelay1 value="" enabled="true"/>
-<extraDelay2 value="" enabled="true"/>
-<delayDistributionLaw value="0" enabled="true"/>
-<computeMin value="" enabled="true"/>
-<computeMax value="" enabled="true"/>
-<probability value="" enabled="true"/>
-<actions value="contentOfWallet(nbOfCoins)" enabled="true"/>
-<actions value="nbOfCoins=2" enabled="true"/>
-</extraparam>
-</SUBCOMPONENT>
-
-<CONNECTOR type="5102" id="2871" index="3" uid="ffdadde3-fa1b-43cf-bbd7-c18a18d49665" >
-<cdparam x="382" y="165" />
-<sizeparam width="0" height="0" minWidth="0" minHeight="0" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" />
-<infoparam name="connector" value="null" />
-<TGConnectingPoint num="0" id="2872" />
-<P1  x="382" y="165" id="2785" />
-<P2  x="485" y="189" id="2843" />
-<AutomaticDrawing  data="true" />
-<new d="false" />
-</CONNECTOR><SUBCOMPONENT type="-1" id="2873" index="-1" uid="f88f72b1-8468-40ff-af0c-d54f498a1e57" >
-<father id="2871" num="0" />
-<cdparam x="440" y="147" />
-<sizeparam width="50" height="25" minWidth="0" minHeight="0" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" />
-<hidden value="false" />
-<enabled value="true" />
-<cdrectangleparam minX="10" maxX="2500" minY="10" maxY="1500" />
-<infoparam name="List of all parameters of an Avatar SMD transition" value="" />
-<new d="false" />
-<TGConnectingPoint num="0" id="2874" />
-<TGConnectingPoint num="1" id="2875" />
-<TGConnectingPoint num="2" id="2876" />
-<TGConnectingPoint num="3" id="2877" />
-<tags value="" />
-<extraparam>
-<guard value="[]" enabled="true"/>
-<afterMin value="" enabled="true"/>
-<afterMax value="" enabled="true"/>
-<extraDelay1 value="" enabled="true"/>
-<extraDelay2 value="" enabled="true"/>
-<delayDistributionLaw value="0" enabled="true"/>
-<computeMin value="" enabled="true"/>
-<computeMax value="" enabled="true"/>
-<probability value="" enabled="true"/>
-</extraparam>
-</SUBCOMPONENT>
-
-<CONNECTOR type="5102" id="2864" index="4" uid="9d08ca2b-ba45-42a6-a688-2a5e57a2db88" >
-<cdparam x="357" y="165" />
-<sizeparam width="0" height="0" minWidth="0" minHeight="0" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" />
-<infoparam name="connector" value="null" />
-<TGConnectingPoint num="0" id="2865" />
-<P1  x="357" y="165" id="2784" />
-<P2  x="251" y="201" id="2854" />
-<AutomaticDrawing  data="true" />
-<new d="false" />
-</CONNECTOR><SUBCOMPONENT type="-1" id="2866" index="-1" uid="0d04b17f-9367-4582-93d6-a2e40f51f6f8" >
-<father id="2864" num="0" />
-<cdparam x="194" y="167" />
-<sizeparam width="105" height="25" minWidth="0" minHeight="0" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" />
-<hidden value="false" />
-<enabled value="true" />
-<cdrectangleparam minX="10" maxX="2500" minY="10" maxY="1500" />
-<infoparam name="List of all parameters of an Avatar SMD transition" value="" />
-<new d="false" />
-<TGConnectingPoint num="0" id="2867" />
-<TGConnectingPoint num="1" id="2868" />
-<TGConnectingPoint num="2" id="2869" />
-<TGConnectingPoint num="3" id="2870" />
-<tags value="" />
-<extraparam>
-<guard value="[nbOfCoins &gt; 0]" enabled="true"/>
-<afterMin value="" enabled="true"/>
-<afterMax value="" enabled="true"/>
-<extraDelay1 value="" enabled="true"/>
-<extraDelay2 value="" enabled="true"/>
-<delayDistributionLaw value="0" enabled="true"/>
-<computeMin value="" enabled="true"/>
-<computeMax value="" enabled="true"/>
-<probability value="" enabled="true"/>
-</extraparam>
-</SUBCOMPONENT>
-
-<COMPONENT type="5103" id="2853" index="5" uid="eb8388b5-a2cb-4651-bd92-a489fe21f207" >
-<cdparam x="217" y="206" />
-<sizeparam width="69" height="20" minWidth="30" minHeight="0" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" />
-<hidden value="false" />
-<enabled value="true" />
-<cdrectangleparam minX="10" maxX="2500" minY="10" maxY="1500" />
-<infoparam name="Send signal" value="putCoin(x)" />
-<new d="false" />
-<TGConnectingPoint num="0" id="2854" />
-<TGConnectingPoint num="1" id="2855" />
-<TGConnectingPoint num="2" id="2856" />
-<TGConnectingPoint num="3" id="2857" />
-<TGConnectingPoint num="4" id="2858" />
-<TGConnectingPoint num="5" id="2859" />
-<TGConnectingPoint num="6" id="2860" />
-<TGConnectingPoint num="7" id="2861" />
-<TGConnectingPoint num="8" id="2862" />
-<TGConnectingPoint num="9" id="2863" />
-<color value="-8342323" />
-<tags value="" />
-</COMPONENT>
-
-<COMPONENT type="5104" id="2842" index="6" uid="7f2d5a93-5c05-4802-bc6b-745552d6e95c" >
-<cdparam x="447" y="194" />
-<sizeparam width="76" height="20" minWidth="30" minHeight="0" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" />
-<hidden value="false" />
-<enabled value="true" />
-<cdrectangleparam minX="10" maxX="2500" minY="10" maxY="1500" />
-<infoparam name="Receive signal" value="getCoin(x)" />
-<new d="false" />
-<TGConnectingPoint num="0" id="2843" />
-<TGConnectingPoint num="1" id="2844" />
-<TGConnectingPoint num="2" id="2845" />
-<TGConnectingPoint num="3" id="2846" />
-<TGConnectingPoint num="4" id="2847" />
-<TGConnectingPoint num="5" id="2848" />
-<TGConnectingPoint num="6" id="2849" />
-<TGConnectingPoint num="7" id="2850" />
-<TGConnectingPoint num="8" id="2851" />
-<TGConnectingPoint num="9" id="2852" />
-<color value="-8342323" />
-<tags value="" />
-</COMPONENT>
-
-<COMPONENT type="5106" id="2769" index="7" uid="3b924460-fe78-4247-ac46-be59663df372" >
-<cdparam x="345" y="135" />
-<sizeparam width="50" height="30" minWidth="40" minHeight="30" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" />
-<hidden value="false" />
-<enabled value="true" />
-<cdrectangleparam minX="10" maxX="2500" minY="10" maxY="1500" />
-<infoparam name="state" value="main" />
-<new d="false" />
-<TGConnectingPoint num="0" id="2770" />
-<TGConnectingPoint num="1" id="2771" />
-<TGConnectingPoint num="2" id="2772" />
-<TGConnectingPoint num="3" id="2773" />
-<TGConnectingPoint num="4" id="2774" />
-<TGConnectingPoint num="5" id="2775" />
-<TGConnectingPoint num="6" id="2776" />
-<TGConnectingPoint num="7" id="2777" />
-<TGConnectingPoint num="8" id="2778" />
-<TGConnectingPoint num="9" id="2779" />
-<TGConnectingPoint num="10" id="2780" />
-<TGConnectingPoint num="11" id="2781" />
-<TGConnectingPoint num="12" id="2782" />
-<TGConnectingPoint num="13" id="2783" />
-<TGConnectingPoint num="14" id="2784" />
-<TGConnectingPoint num="15" id="2785" />
-<TGConnectingPoint num="16" id="2786" />
-<TGConnectingPoint num="17" id="2787" />
-<TGConnectingPoint num="18" id="2788" />
-<TGConnectingPoint num="19" id="2789" />
-<TGConnectingPoint num="20" id="2790" />
-<TGConnectingPoint num="21" id="2791" />
-<TGConnectingPoint num="22" id="2792" />
-<TGConnectingPoint num="23" id="2793" />
-<TGConnectingPoint num="24" id="2794" />
-<TGConnectingPoint num="25" id="2795" />
-<TGConnectingPoint num="26" id="2796" />
-<TGConnectingPoint num="27" id="2797" />
-<TGConnectingPoint num="28" id="2798" />
-<TGConnectingPoint num="29" id="2799" />
-<TGConnectingPoint num="30" id="2800" />
-<TGConnectingPoint num="31" id="2801" />
-<TGConnectingPoint num="32" id="2802" />
-<TGConnectingPoint num="33" id="2803" />
-<TGConnectingPoint num="34" id="2804" />
-<TGConnectingPoint num="35" id="2805" />
-<TGConnectingPoint num="36" id="2806" />
-<TGConnectingPoint num="37" id="2807" />
-<TGConnectingPoint num="38" id="2808" />
-<TGConnectingPoint num="39" id="2809" />
-<TGConnectingPoint num="40" id="2810" />
-<TGConnectingPoint num="41" id="2811" />
-<TGConnectingPoint num="42" id="2812" />
-<TGConnectingPoint num="43" id="2813" />
-<TGConnectingPoint num="44" id="2814" />
-<TGConnectingPoint num="45" id="2815" />
-<TGConnectingPoint num="46" id="2816" />
-<TGConnectingPoint num="47" id="2817" />
-<TGConnectingPoint num="48" id="2818" />
-<TGConnectingPoint num="49" id="2819" />
-<TGConnectingPoint num="50" id="2820" />
-<TGConnectingPoint num="51" id="2821" />
-<TGConnectingPoint num="52" id="2822" />
-<TGConnectingPoint num="53" id="2823" />
-<TGConnectingPoint num="54" id="2824" />
-<TGConnectingPoint num="55" id="2825" />
-<TGConnectingPoint num="56" id="2826" />
-<TGConnectingPoint num="57" id="2827" />
-<TGConnectingPoint num="58" id="2828" />
-<TGConnectingPoint num="59" id="2829" />
-<TGConnectingPoint num="60" id="2830" />
-<TGConnectingPoint num="61" id="2831" />
-<TGConnectingPoint num="62" id="2832" />
-<TGConnectingPoint num="63" id="2833" />
-<TGConnectingPoint num="64" id="2834" />
-<TGConnectingPoint num="65" id="2835" />
-<TGConnectingPoint num="66" id="2836" />
-<TGConnectingPoint num="67" id="2837" />
-<TGConnectingPoint num="68" id="2838" />
-<TGConnectingPoint num="69" id="2839" />
-<TGConnectingPoint num="70" id="2840" />
-<TGConnectingPoint num="71" id="2841" />
-<color value="-4072719" />
-<tags value="" />
-<extraparam>
-</extraparam>
-</COMPONENT>
-
-<COMPONENT type="5106" id="2696" index="8" uid="2987e335-1a9d-4bdc-8b5b-2cb58fe0ce2d" >
-<cdparam x="226" y="300" />
-<sizeparam width="50" height="40" minWidth="40" minHeight="30" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" />
-<hidden value="false" />
-<enabled value="true" />
-<cdrectangleparam minX="10" maxX="2500" minY="10" maxY="1500" />
-<infoparam name="state" value="main" />
-<new d="false" />
-<TGConnectingPoint num="0" id="2697" />
-<TGConnectingPoint num="1" id="2698" />
-<TGConnectingPoint num="2" id="2699" />
-<TGConnectingPoint num="3" id="2700" />
-<TGConnectingPoint num="4" id="2701" />
-<TGConnectingPoint num="5" id="2702" />
-<TGConnectingPoint num="6" id="2703" />
-<TGConnectingPoint num="7" id="2704" />
-<TGConnectingPoint num="8" id="2705" />
-<TGConnectingPoint num="9" id="2706" />
-<TGConnectingPoint num="10" id="2707" />
-<TGConnectingPoint num="11" id="2708" />
-<TGConnectingPoint num="12" id="2709" />
-<TGConnectingPoint num="13" id="2710" />
-<TGConnectingPoint num="14" id="2711" />
-<TGConnectingPoint num="15" id="2712" />
-<TGConnectingPoint num="16" id="2713" />
-<TGConnectingPoint num="17" id="2714" />
-<TGConnectingPoint num="18" id="2715" />
-<TGConnectingPoint num="19" id="2716" />
-<TGConnectingPoint num="20" id="2717" />
-<TGConnectingPoint num="21" id="2718" />
-<TGConnectingPoint num="22" id="2719" />
-<TGConnectingPoint num="23" id="2720" />
-<TGConnectingPoint num="24" id="2721" />
-<TGConnectingPoint num="25" id="2722" />
-<TGConnectingPoint num="26" id="2723" />
-<TGConnectingPoint num="27" id="2724" />
-<TGConnectingPoint num="28" id="2725" />
-<TGConnectingPoint num="29" id="2726" />
-<TGConnectingPoint num="30" id="2727" />
-<TGConnectingPoint num="31" id="2728" />
-<TGConnectingPoint num="32" id="2729" />
-<TGConnectingPoint num="33" id="2730" />
-<TGConnectingPoint num="34" id="2731" />
-<TGConnectingPoint num="35" id="2732" />
-<TGConnectingPoint num="36" id="2733" />
-<TGConnectingPoint num="37" id="2734" />
-<TGConnectingPoint num="38" id="2735" />
-<TGConnectingPoint num="39" id="2736" />
-<TGConnectingPoint num="40" id="2737" />
-<TGConnectingPoint num="41" id="2738" />
-<TGConnectingPoint num="42" id="2739" />
-<TGConnectingPoint num="43" id="2740" />
-<TGConnectingPoint num="44" id="2741" />
-<TGConnectingPoint num="45" id="2742" />
-<TGConnectingPoint num="46" id="2743" />
-<TGConnectingPoint num="47" id="2744" />
-<TGConnectingPoint num="48" id="2745" />
-<TGConnectingPoint num="49" id="2746" />
-<TGConnectingPoint num="50" id="2747" />
-<TGConnectingPoint num="51" id="2748" />
-<TGConnectingPoint num="52" id="2749" />
-<TGConnectingPoint num="53" id="2750" />
-<TGConnectingPoint num="54" id="2751" />
-<TGConnectingPoint num="55" id="2752" />
-<TGConnectingPoint num="56" id="2753" />
-<TGConnectingPoint num="57" id="2754" />
-<TGConnectingPoint num="58" id="2755" />
-<TGConnectingPoint num="59" id="2756" />
-<TGConnectingPoint num="60" id="2757" />
-<TGConnectingPoint num="61" id="2758" />
-<TGConnectingPoint num="62" id="2759" />
-<TGConnectingPoint num="63" id="2760" />
-<TGConnectingPoint num="64" id="2761" />
-<TGConnectingPoint num="65" id="2762" />
-<TGConnectingPoint num="66" id="2763" />
-<TGConnectingPoint num="67" id="2764" />
-<TGConnectingPoint num="68" id="2765" />
-<TGConnectingPoint num="69" id="2766" />
-<TGConnectingPoint num="70" id="2767" />
-<TGConnectingPoint num="71" id="2768" />
-<color value="-4072719" />
-<tags value="" />
-<extraparam>
-</extraparam>
-</COMPONENT>
-
-<COMPONENT type="5106" id="2623" index="9" uid="9a083bd0-99c9-4fa9-b704-d0ee6447db83" >
-<cdparam x="460" y="275" />
-<sizeparam width="50" height="40" minWidth="40" minHeight="30" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" />
-<hidden value="false" />
-<enabled value="true" />
-<cdrectangleparam minX="10" maxX="2500" minY="10" maxY="1500" />
-<infoparam name="state" value="main" />
-<new d="false" />
-<TGConnectingPoint num="0" id="2624" />
-<TGConnectingPoint num="1" id="2625" />
-<TGConnectingPoint num="2" id="2626" />
-<TGConnectingPoint num="3" id="2627" />
-<TGConnectingPoint num="4" id="2628" />
-<TGConnectingPoint num="5" id="2629" />
-<TGConnectingPoint num="6" id="2630" />
-<TGConnectingPoint num="7" id="2631" />
-<TGConnectingPoint num="8" id="2632" />
-<TGConnectingPoint num="9" id="2633" />
-<TGConnectingPoint num="10" id="2634" />
-<TGConnectingPoint num="11" id="2635" />
-<TGConnectingPoint num="12" id="2636" />
-<TGConnectingPoint num="13" id="2637" />
-<TGConnectingPoint num="14" id="2638" />
-<TGConnectingPoint num="15" id="2639" />
-<TGConnectingPoint num="16" id="2640" />
-<TGConnectingPoint num="17" id="2641" />
-<TGConnectingPoint num="18" id="2642" />
-<TGConnectingPoint num="19" id="2643" />
-<TGConnectingPoint num="20" id="2644" />
-<TGConnectingPoint num="21" id="2645" />
-<TGConnectingPoint num="22" id="2646" />
-<TGConnectingPoint num="23" id="2647" />
-<TGConnectingPoint num="24" id="2648" />
-<TGConnectingPoint num="25" id="2649" />
-<TGConnectingPoint num="26" id="2650" />
-<TGConnectingPoint num="27" id="2651" />
-<TGConnectingPoint num="28" id="2652" />
-<TGConnectingPoint num="29" id="2653" />
-<TGConnectingPoint num="30" id="2654" />
-<TGConnectingPoint num="31" id="2655" />
-<TGConnectingPoint num="32" id="2656" />
-<TGConnectingPoint num="33" id="2657" />
-<TGConnectingPoint num="34" id="2658" />
-<TGConnectingPoint num="35" id="2659" />
-<TGConnectingPoint num="36" id="2660" />
-<TGConnectingPoint num="37" id="2661" />
-<TGConnectingPoint num="38" id="2662" />
-<TGConnectingPoint num="39" id="2663" />
-<TGConnectingPoint num="40" id="2664" />
-<TGConnectingPoint num="41" id="2665" />
-<TGConnectingPoint num="42" id="2666" />
-<TGConnectingPoint num="43" id="2667" />
-<TGConnectingPoint num="44" id="2668" />
-<TGConnectingPoint num="45" id="2669" />
-<TGConnectingPoint num="46" id="2670" />
-<TGConnectingPoint num="47" id="2671" />
-<TGConnectingPoint num="48" id="2672" />
-<TGConnectingPoint num="49" id="2673" />
-<TGConnectingPoint num="50" id="2674" />
-<TGConnectingPoint num="51" id="2675" />
-<TGConnectingPoint num="52" id="2676" />
-<TGConnectingPoint num="53" id="2677" />
-<TGConnectingPoint num="54" id="2678" />
-<TGConnectingPoint num="55" id="2679" />
-<TGConnectingPoint num="56" id="2680" />
-<TGConnectingPoint num="57" id="2681" />
-<TGConnectingPoint num="58" id="2682" />
-<TGConnectingPoint num="59" id="2683" />
-<TGConnectingPoint num="60" id="2684" />
-<TGConnectingPoint num="61" id="2685" />
-<TGConnectingPoint num="62" id="2686" />
-<TGConnectingPoint num="63" id="2687" />
-<TGConnectingPoint num="64" id="2688" />
-<TGConnectingPoint num="65" id="2689" />
-<TGConnectingPoint num="66" id="2690" />
-<TGConnectingPoint num="67" id="2691" />
-<TGConnectingPoint num="68" id="2692" />
-<TGConnectingPoint num="69" id="2693" />
-<TGConnectingPoint num="70" id="2694" />
-<TGConnectingPoint num="71" id="2695" />
-<color value="-4072719" />
-<tags value="" />
-<extraparam>
-</extraparam>
-</COMPONENT>
-
-<COMPONENT type="5100" id="2621" index="10" uid="6afd2a53-36da-4d37-b143-44edf73e72ba" >
-<cdparam x="363" y="44" />
-<sizeparam width="15" height="15" minWidth="0" minHeight="0" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" />
-<hidden value="false" />
-<cdrectangleparam minX="10" maxX="2500" minY="10" maxY="1500" />
-<infoparam name="start state" value="null" />
-<new d="false" />
-<TGConnectingPoint num="0" id="2622" />
-<tags value="" />
-</COMPONENT>
-
-
-</AVATARStateMachineDiagramPanel>
-
-<AVATARStateMachineDiagramPanel name="CoffeeMachine" minX="10" maxX="2500" minY="10" maxY="1500" zoom="1.0" >
-<CONNECTOR type="5102" id="3783" index="0" uid="fa8cf2a1-b420-4a89-bdcf-e967037ebaf0" >
-<cdparam x="277" y="305" />
-<sizeparam width="0" height="0" minWidth="0" minHeight="0" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" />
-<infoparam name="connector" value="null" />
-<TGConnectingPoint num="0" id="3784" />
-<P1  x="277" y="305" id="3249" />
-<P2  x="311" y="372" id="3260" />
-<AutomaticDrawing  data="true" />
-<new d="false" />
-</CONNECTOR><SUBCOMPONENT type="-1" id="3785" index="-1" uid="ef49773c-e7c8-4405-a9ce-a8a0e714756d" >
-<father id="3783" num="0" />
-<cdparam x="301" y="337" />
-<sizeparam width="167" height="25" minWidth="0" minHeight="0" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" />
-<hidden value="false" />
-<enabled value="true" />
-<cdrectangleparam minX="10" maxX="2500" minY="10" maxY="1500" />
-<infoparam name="List of all parameters of an Avatar SMD transition" value="" />
-<new d="false" />
-<TGConnectingPoint num="0" id="3786" />
-<TGConnectingPoint num="1" id="3787" />
-<TGConnectingPoint num="2" id="3788" />
-<TGConnectingPoint num="3" id="3789" />
-<tags value="" />
-<extraparam>
-<guard value="[ ]" enabled="true"/>
-<afterMin value="" enabled="true"/>
-<afterMax value="" enabled="true"/>
-<extraDelay1 value="" enabled="true"/>
-<extraDelay2 value="" enabled="true"/>
-<delayDistributionLaw value="0" enabled="true"/>
-<computeMin value="" enabled="true"/>
-<computeMax value="" enabled="true"/>
-<probability value="" enabled="true"/>
-<actions value="nbOfCoins=2" enabled="true"/>
-</extraparam>
-</SUBCOMPONENT>
-
-<CONNECTOR type="5102" id="3776" index="1" uid="62788a24-bdb4-4e0e-bb91-3ed054657888" >
-<cdparam x="699" y="289" />
-<sizeparam width="0" height="0" minWidth="0" minHeight="0" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" />
-<infoparam name="connector" value="null" />
-<TGConnectingPoint num="0" id="3777" />
-<P1  x="699" y="289" id="3592" />
-<P2  x="699" y="316" id="3659" />
-<AutomaticDrawing  data="true" />
-<new d="false" />
-</CONNECTOR><SUBCOMPONENT type="-1" id="3778" index="-1" uid="124aba20-f852-44f5-bcfd-18e09216addb" >
-<father id="3776" num="0" />
-<cdparam x="691" y="328" />
-<sizeparam width="50" height="25" minWidth="0" minHeight="0" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" />
-<hidden value="false" />
-<enabled value="true" />
-<cdrectangleparam minX="10" maxX="2500" minY="10" maxY="1500" />
-<infoparam name="List of all parameters of an Avatar SMD transition" value="" />
-<new d="false" />
-<TGConnectingPoint num="0" id="3779" />
-<TGConnectingPoint num="1" id="3780" />
-<TGConnectingPoint num="2" id="3781" />
-<TGConnectingPoint num="3" id="3782" />
-<tags value="" />
-<extraparam>
-<guard value="[ ]" enabled="true"/>
-<afterMin value="" enabled="true"/>
-<afterMax value="" enabled="true"/>
-<extraDelay1 value="" enabled="true"/>
-<extraDelay2 value="" enabled="true"/>
-<delayDistributionLaw value="0" enabled="true"/>
-<computeMin value="" enabled="true"/>
-<computeMax value="" enabled="true"/>
-<probability value="" enabled="true"/>
-</extraparam>
-</SUBCOMPONENT>
-
-<CONNECTOR type="5102" id="3769" index="2" uid="ad30c7ae-dd16-48a5-b7f1-0e48865f1446" >
-<cdparam x="228" y="474" />
-<sizeparam width="0" height="0" minWidth="0" minHeight="0" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" />
-<infoparam name="connector" value="null" />
-<TGConnectingPoint num="0" id="3770" />
-<P1  x="228" y="474" id="3348" />
-<P2  x="126" y="524" id="3407" />
-<AutomaticDrawing  data="true" />
-<new d="false" />
-</CONNECTOR><SUBCOMPONENT type="-1" id="3771" index="-1" uid="015bdc25-c979-4de0-9755-b654fc69f6d5" >
-<father id="3769" num="0" />
-<cdparam x="229" y="505" />
-<sizeparam width="50" height="25" minWidth="0" minHeight="0" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" />
-<hidden value="false" />
-<enabled value="true" />
-<cdrectangleparam minX="10" maxX="2500" minY="10" maxY="1500" />
-<infoparam name="List of all parameters of an Avatar SMD transition" value="" />
-<new d="false" />
-<TGConnectingPoint num="0" id="3772" />
-<TGConnectingPoint num="1" id="3773" />
-<TGConnectingPoint num="2" id="3774" />
-<TGConnectingPoint num="3" id="3775" />
-<tags value="" />
-<extraparam>
-<guard value="[ ]" enabled="true"/>
-<afterMin value="" enabled="true"/>
-<afterMax value="" enabled="true"/>
-<extraDelay1 value="" enabled="true"/>
-<extraDelay2 value="" enabled="true"/>
-<delayDistributionLaw value="0" enabled="true"/>
-<computeMin value="" enabled="true"/>
-<computeMax value="" enabled="true"/>
-<probability value="" enabled="true"/>
-</extraparam>
-</SUBCOMPONENT>
-
-<CONNECTOR type="5102" id="3762" index="3" uid="652769ba-0ab6-42c4-b089-2dfddf58c47d" >
-<cdparam x="126" y="554" />
-<sizeparam width="0" height="0" minWidth="0" minHeight="0" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" />
-<infoparam name="connector" value="null" />
-<TGConnectingPoint num="0" id="3763" />
-<P1  x="126" y="554" id="3408" />
-<P2  x="126" y="653" id="3419" />
-<AutomaticDrawing  data="true" />
-<new d="false" />
-</CONNECTOR><SUBCOMPONENT type="-1" id="3764" index="-1" uid="4734d12a-43af-4e44-bd1d-d9e354a7ce65" >
-<father id="3762" num="0" />
-<cdparam x="62" y="564" />
-<sizeparam width="288" height="47" minWidth="0" minHeight="0" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" />
-<hidden value="false" />
-<enabled value="true" />
-<cdrectangleparam minX="10" maxX="2500" minY="10" maxY="1500" />
-<infoparam name="List of all parameters of an Avatar SMD transition" value="" />
-<new d="false" />
-<TGConnectingPoint num="0" id="3765" />
-<TGConnectingPoint num="1" id="3766" />
-<TGConnectingPoint num="2" id="3767" />
-<TGConnectingPoint num="3" id="3768" />
-<tags value="" />
-<extraparam>
-<guard value="[ ]" enabled="true"/>
-<afterMin value="" enabled="true"/>
-<afterMax value="" enabled="true"/>
-<extraDelay1 value="" enabled="true"/>
-<extraDelay2 value="" enabled="true"/>
-<delayDistributionLaw value="0" enabled="true"/>
-<computeMin value="coffeeMinDelay" enabled="true"/>
-<computeMax value="coffeeMaxDelay" enabled="true"/>
-<probability value="" enabled="true"/>
-<actions value="nbOfCoins=0" enabled="true"/>
-<actions value="beverageReady()" enabled="true"/>
-</extraparam>
-</SUBCOMPONENT>
-
-<CONNECTOR type="5102" id="3755" index="4" uid="4b27b8e5-8878-44bf-a471-5d48df66ba70" >
-<cdparam x="298" y="554" />
-<sizeparam width="0" height="0" minWidth="0" minHeight="0" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" />
-<infoparam name="connector" value="null" />
-<TGConnectingPoint num="0" id="3756" />
-<P1  x="298" y="554" id="3492" />
-<P2  x="296" y="650" id="3503" />
-<AutomaticDrawing  data="true" />
-<new d="false" />
-</CONNECTOR><SUBCOMPONENT type="-1" id="3757" index="-1" uid="72b7fab9-5cee-4f71-8f58-83b604a61bf4" >
-<father id="3755" num="0" />
-<cdparam x="218" y="592" />
-<sizeparam width="252" height="47" minWidth="0" minHeight="0" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" />
-<hidden value="false" />
-<enabled value="true" />
-<cdrectangleparam minX="10" maxX="2500" minY="10" maxY="1500" />
-<infoparam name="List of all parameters of an Avatar SMD transition" value="" />
-<new d="false" />
-<TGConnectingPoint num="0" id="3758" />
-<TGConnectingPoint num="1" id="3759" />
-<TGConnectingPoint num="2" id="3760" />
-<TGConnectingPoint num="3" id="3761" />
-<tags value="" />
-<extraparam>
-<guard value="[ ]" enabled="true"/>
-<afterMin value="" enabled="true"/>
-<afterMax value="" enabled="true"/>
-<extraDelay1 value="" enabled="true"/>
-<extraDelay2 value="" enabled="true"/>
-<delayDistributionLaw value="0" enabled="true"/>
-<computeMin value="teaMinDelay" enabled="true"/>
-<computeMax value="teaMaxDelay" enabled="true"/>
-<probability value="" enabled="true"/>
-<actions value="nbOfCoins=0" enabled="true"/>
-<actions value="beverageReady()" enabled="true"/>
-</extraparam>
-</SUBCOMPONENT>
-
-<CONNECTOR type="5102" id="3746" index="5" uid="2e68d237-b85d-46e0-8a4e-7d30f5458b6f" >
-<cdparam x="442" y="527" />
-<sizeparam width="0" height="0" minWidth="0" minHeight="0" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" />
-<infoparam name="connector" value="null" />
-<TGConnectingPoint num="0" id="3748" />
-<TGConnectingPoint num="1" id="3749" />
-<P1  x="442" y="527" id="3576" />
-<P2  x="323" y="748" id="3027" />
-<Point x="442" y="737" />
-<AutomaticDrawing  data="true" />
-<new d="false" />
-</CONNECTOR><SUBCOMPONENT type="-1" id="3747" index="-1" uid="6dcd1085-5fd0-46b5-b79f-40fe715ac3b7" >
-<father id="3746" num="0" />
-<cdparam x="442" y="737" />
-<sizeparam width="8" height="8" minWidth="0" minHeight="0" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" />
-<hidden value="false" />
-<cdrectangleparam minX="442" maxX="527" minY="442" maxY="527" />
-<infoparam name="point " value="null" />
-<new d="false" />
-<tags value="" />
-</SUBCOMPONENT>
-<SUBCOMPONENT type="-1" id="3750" index="-1" uid="722896f5-445f-49ff-8498-12dcfa714eb1" >
-<father id="3746" num="1" />
-<cdparam x="420" y="553" />
-<sizeparam width="97" height="25" minWidth="0" minHeight="0" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" />
-<hidden value="false" />
-<enabled value="true" />
-<cdrectangleparam minX="10" maxX="2500" minY="10" maxY="1500" />
-<infoparam name="List of all parameters of an Avatar SMD transition" value="" />
-<new d="false" />
-<TGConnectingPoint num="0" id="3751" />
-<TGConnectingPoint num="1" id="3752" />
-<TGConnectingPoint num="2" id="3753" />
-<TGConnectingPoint num="3" id="3754" />
-<tags value="" />
-<extraparam>
-<guard value="[ ]" enabled="true"/>
-<afterMin value="" enabled="true"/>
-<afterMax value="" enabled="true"/>
-<extraDelay1 value="" enabled="true"/>
-<extraDelay2 value="" enabled="true"/>
-<delayDistributionLaw value="0" enabled="true"/>
-<computeMin value="" enabled="true"/>
-<computeMax value="" enabled="true"/>
-<probability value="" enabled="true"/>
-<actions value="nbOfCoins=0" enabled="true"/>
-</extraparam>
-</SUBCOMPONENT>
-
-<CONNECTOR type="5102" id="3739" index="6" uid="b22bc09e-cbca-47e9-b062-39c74db2d586" >
-<cdparam x="261" y="421" />
-<sizeparam width="0" height="0" minWidth="0" minHeight="0" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" />
-<infoparam name="connector" value="null" />
-<TGConnectingPoint num="0" id="3740" />
-<P1  x="261" y="421" id="3332" />
-<P2  x="261" y="434" id="3335" />
-<AutomaticDrawing  data="true" />
-<new d="false" />
-</CONNECTOR><SUBCOMPONENT type="-1" id="3741" index="-1" uid="b293c0aa-2f07-4634-9cb8-a62dc6c52658" >
-<father id="3739" num="0" />
-<cdparam x="280" y="460" />
-<sizeparam width="50" height="25" minWidth="0" minHeight="0" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" />
-<hidden value="false" />
-<enabled value="true" />
-<cdrectangleparam minX="10" maxX="2500" minY="10" maxY="1500" />
-<infoparam name="List of all parameters of an Avatar SMD transition" value="" />
-<new d="false" />
-<TGConnectingPoint num="0" id="3742" />
-<TGConnectingPoint num="1" id="3743" />
-<TGConnectingPoint num="2" id="3744" />
-<TGConnectingPoint num="3" id="3745" />
-<tags value="" />
-<extraparam>
-<guard value="[ ]" enabled="true"/>
-<afterMin value="" enabled="true"/>
-<afterMax value="" enabled="true"/>
-<extraDelay1 value="" enabled="true"/>
-<extraDelay2 value="" enabled="true"/>
-<delayDistributionLaw value="0" enabled="true"/>
-<computeMin value="" enabled="true"/>
-<computeMax value="" enabled="true"/>
-<probability value="" enabled="true"/>
-</extraparam>
-</SUBCOMPONENT>
-
-<CONNECTOR type="5102" id="3732" index="7" uid="421f159e-7309-4eb1-92fb-f259976d735d" >
-<cdparam x="303" y="40" />
-<sizeparam width="0" height="0" minWidth="0" minHeight="0" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" />
-<infoparam name="connector" value="null" />
-<TGConnectingPoint num="0" id="3733" />
-<P1  x="303" y="40" id="2943" />
-<P2  x="302" y="62" id="2946" />
-<AutomaticDrawing  data="true" />
-<new d="false" />
-</CONNECTOR><SUBCOMPONENT type="-1" id="3734" index="-1" uid="195e2ec8-9f79-4c58-bfeb-59750d2e05b6" >
-<father id="3732" num="0" />
-<cdparam x="303" y="80" />
-<sizeparam width="50" height="25" minWidth="0" minHeight="0" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" />
-<hidden value="false" />
-<enabled value="true" />
-<cdrectangleparam minX="10" maxX="2500" minY="10" maxY="1500" />
-<infoparam name="List of all parameters of an Avatar SMD transition" value="" />
-<new d="false" />
-<TGConnectingPoint num="0" id="3735" />
-<TGConnectingPoint num="1" id="3736" />
-<TGConnectingPoint num="2" id="3737" />
-<TGConnectingPoint num="3" id="3738" />
-<tags value="" />
-<extraparam>
-<guard value="[ ]" enabled="true"/>
-<afterMin value="" enabled="true"/>
-<afterMax value="" enabled="true"/>
-<extraDelay1 value="" enabled="true"/>
-<extraDelay2 value="" enabled="true"/>
-<delayDistributionLaw value="0" enabled="true"/>
-<computeMin value="" enabled="true"/>
-<computeMax value="" enabled="true"/>
-<probability value="" enabled="true"/>
-</extraparam>
-</SUBCOMPONENT>
-
-<CONNECTOR type="5102" id="3725" index="8" uid="ae1e85b3-0da5-4817-ab30-389602c9a09c" >
-<cdparam x="306" y="166" />
-<sizeparam width="0" height="0" minWidth="0" minHeight="0" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" />
-<infoparam name="connector" value="null" />
-<TGConnectingPoint num="0" id="3726" />
-<P1  x="306" y="166" id="3165" />
-<P2  x="309" y="188" id="3176" />
-<AutomaticDrawing  data="true" />
-<new d="false" />
-</CONNECTOR><SUBCOMPONENT type="-1" id="3727" index="-1" uid="775d4b39-ff04-4b98-b414-30ba38a68425" >
-<father id="3725" num="0" />
-<cdparam x="112" y="164" />
-<sizeparam width="168" height="25" minWidth="0" minHeight="0" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" />
-<hidden value="false" />
-<enabled value="true" />
-<cdrectangleparam minX="10" maxX="2500" minY="10" maxY="1500" />
-<infoparam name="List of all parameters of an Avatar SMD transition" value="" />
-<new d="false" />
-<TGConnectingPoint num="0" id="3728" />
-<TGConnectingPoint num="1" id="3729" />
-<TGConnectingPoint num="2" id="3730" />
-<TGConnectingPoint num="3" id="3731" />
-<tags value="" />
-<extraparam>
-<guard value="[ ]" enabled="true"/>
-<afterMin value="" enabled="true"/>
-<afterMax value="" enabled="true"/>
-<extraDelay1 value="" enabled="true"/>
-<extraDelay2 value="" enabled="true"/>
-<delayDistributionLaw value="0" enabled="true"/>
-<computeMin value="" enabled="true"/>
-<computeMax value="" enabled="true"/>
-<probability value="" enabled="true"/>
-<actions value="nbOfCoins=nbOfCoins+x" enabled="true"/>
-</extraparam>
-</SUBCOMPONENT>
-
-<CONNECTOR type="5102" id="3718" index="9" uid="f06e4b10-a0d0-473c-8058-0e3f3e4ebd97" >
-<cdparam x="296" y="699" />
-<sizeparam width="0" height="0" minWidth="0" minHeight="0" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" />
-<infoparam name="connector" value="null" />
-<TGConnectingPoint num="0" id="3719" />
-<P1  x="296" y="699" id="3508" />
-<P2  x="289" y="748" id="3019" />
-<AutomaticDrawing  data="true" />
-<new d="false" />
-</CONNECTOR><SUBCOMPONENT type="-1" id="3720" index="-1" uid="07e464af-4506-4973-b595-43b257b626de" >
-<father id="3718" num="0" />
-<cdparam x="292" y="723" />
-<sizeparam width="50" height="25" minWidth="0" minHeight="0" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" />
-<hidden value="false" />
-<enabled value="true" />
-<cdrectangleparam minX="10" maxX="2500" minY="10" maxY="1500" />
-<infoparam name="List of all parameters of an Avatar SMD transition" value="" />
-<new d="false" />
-<TGConnectingPoint num="0" id="3721" />
-<TGConnectingPoint num="1" id="3722" />
-<TGConnectingPoint num="2" id="3723" />
-<TGConnectingPoint num="3" id="3724" />
-<tags value="" />
-<extraparam>
-<guard value="[ ]" enabled="true"/>
-<afterMin value="" enabled="true"/>
-<afterMax value="" enabled="true"/>
-<extraDelay1 value="" enabled="true"/>
-<extraDelay2 value="" enabled="true"/>
-<delayDistributionLaw value="0" enabled="true"/>
-<computeMin value="" enabled="true"/>
-<computeMax value="" enabled="true"/>
-<probability value="" enabled="true"/>
-</extraparam>
-</SUBCOMPONENT>
-
-<CONNECTOR type="5102" id="3711" index="10" uid="cd75ffd0-5312-4713-9a09-1f12fa2a562b" >
-<cdparam x="270" y="228" />
-<sizeparam width="0" height="0" minWidth="0" minHeight="0" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" />
-<infoparam name="connector" value="null" />
-<TGConnectingPoint num="0" id="3712" />
-<P1  x="270" y="228" id="3189" />
-<P2  x="277" y="275" id="3248" />
-<AutomaticDrawing  data="true" />
-<new d="false" />
-</CONNECTOR><SUBCOMPONENT type="-1" id="3713" index="-1" uid="db2669c8-ac69-4a4a-9212-42de1f593776" >
-<father id="3711" num="0" />
-<cdparam x="270" y="264" />
-<sizeparam width="50" height="25" minWidth="0" minHeight="0" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" />
-<hidden value="false" />
-<enabled value="true" />
-<cdrectangleparam minX="10" maxX="2500" minY="10" maxY="1500" />
-<infoparam name="List of all parameters of an Avatar SMD transition" value="" />
-<new d="false" />
-<TGConnectingPoint num="0" id="3714" />
-<TGConnectingPoint num="1" id="3715" />
-<TGConnectingPoint num="2" id="3716" />
-<TGConnectingPoint num="3" id="3717" />
-<tags value="" />
-<extraparam>
-<guard value="[ ]" enabled="true"/>
-<afterMin value="" enabled="true"/>
-<afterMax value="" enabled="true"/>
-<extraDelay1 value="" enabled="true"/>
-<extraDelay2 value="" enabled="true"/>
-<delayDistributionLaw value="0" enabled="true"/>
-<computeMin value="" enabled="true"/>
-<computeMax value="" enabled="true"/>
-<probability value="" enabled="true"/>
-</extraparam>
-</SUBCOMPONENT>
-
-<CONNECTOR type="5102" id="3704" index="11" uid="6546b15c-9a3b-4b2c-94ec-2413916ed59e" >
-<cdparam x="699" y="346" />
-<sizeparam width="0" height="0" minWidth="0" minHeight="0" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" />
-<infoparam name="connector" value="null" />
-<TGConnectingPoint num="0" id="3705" />
-<P1  x="699" y="346" id="3660" />
-<P2  x="699" y="381" id="3092" />
-<AutomaticDrawing  data="true" />
-<new d="false" />
-</CONNECTOR><SUBCOMPONENT type="-1" id="3706" index="-1" uid="017344a5-9b9a-4308-8a5d-17e6e4df0d53" >
-<father id="3704" num="0" />
-<cdparam x="719" y="363" />
-<sizeparam width="145" height="25" minWidth="0" minHeight="0" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" />
-<hidden value="false" />
-<enabled value="true" />
-<cdrectangleparam minX="10" maxX="2500" minY="10" maxY="1500" />
-<infoparam name="List of all parameters of an Avatar SMD transition" value="" />
-<new d="false" />
-<TGConnectingPoint num="0" id="3707" />
-<TGConnectingPoint num="1" id="3708" />
-<TGConnectingPoint num="2" id="3709" />
-<TGConnectingPoint num="3" id="3710" />
-<tags value="" />
-<extraparam>
-<guard value="[ ]" enabled="true"/>
-<afterMin value="" enabled="true"/>
-<afterMax value="" enabled="true"/>
-<extraDelay1 value="" enabled="true"/>
-<extraDelay2 value="" enabled="true"/>
-<delayDistributionLaw value="0" enabled="true"/>
-<computeMin value="" enabled="true"/>
-<computeMax value="" enabled="true"/>
-<probability value="" enabled="true"/>
-<actions value="nbOfCoins=0" enabled="true"/>
-</extraparam>
-</SUBCOMPONENT>
-
-<CONNECTOR type="5102" id="3697" index="12" uid="24c8c611-a6e1-4220-8dbd-70c36a865fde" >
-<cdparam x="302" y="102" />
-<sizeparam width="0" height="0" minWidth="0" minHeight="0" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" />
-<infoparam name="connector" value="null" />
-<TGConnectingPoint num="0" id="3698" />
-<P1  x="302" y="102" id="2951" />
-<P2  x="306" y="136" id="3164" />
-<AutomaticDrawing  data="true" />
-<new d="false" />
-</CONNECTOR><SUBCOMPONENT type="-1" id="3699" index="-1" uid="c660220b-b0f2-4cfd-b9bd-6c4b2d10a78f" >
-<father id="3697" num="0" />
-<cdparam x="303" y="143" />
-<sizeparam width="50" height="25" minWidth="0" minHeight="0" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" />
-<hidden value="false" />
-<enabled value="true" />
-<cdrectangleparam minX="10" maxX="2500" minY="10" maxY="1500" />
-<infoparam name="List of all parameters of an Avatar SMD transition" value="" />
-<new d="false" />
-<TGConnectingPoint num="0" id="3700" />
-<TGConnectingPoint num="1" id="3701" />
-<TGConnectingPoint num="2" id="3702" />
-<TGConnectingPoint num="3" id="3703" />
-<tags value="" />
-<extraparam>
-<guard value="[ ]" enabled="true"/>
-<afterMin value="" enabled="true"/>
-<afterMax value="" enabled="true"/>
-<extraDelay1 value="" enabled="true"/>
-<extraDelay2 value="" enabled="true"/>
-<delayDistributionLaw value="0" enabled="true"/>
-<computeMin value="" enabled="true"/>
-<computeMax value="" enabled="true"/>
-<probability value="" enabled="true"/>
-</extraparam>
-</SUBCOMPONENT>
-
-<CONNECTOR type="5102" id="3690" index="13" uid="538a94a3-8d64-4d75-b6ee-761b25f330f2" >
-<cdparam x="294" y="474" />
-<sizeparam width="0" height="0" minWidth="0" minHeight="0" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" />
-<infoparam name="connector" value="null" />
-<TGConnectingPoint num="0" id="3691" />
-<P1  x="294" y="474" id="3349" />
-<P2  x="298" y="524" id="3491" />
-<AutomaticDrawing  data="true" />
-<new d="false" />
-</CONNECTOR><SUBCOMPONENT type="-1" id="3692" index="-1" uid="37622b14-5101-487d-869b-80dc0defcccb" >
-<father id="3690" num="0" />
-<cdparam x="295" y="505" />
-<sizeparam width="50" height="25" minWidth="0" minHeight="0" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" />
-<hidden value="false" />
-<enabled value="true" />
-<cdrectangleparam minX="10" maxX="2500" minY="10" maxY="1500" />
-<infoparam name="List of all parameters of an Avatar SMD transition" value="" />
-<new d="false" />
-<TGConnectingPoint num="0" id="3693" />
-<TGConnectingPoint num="1" id="3694" />
-<TGConnectingPoint num="2" id="3695" />
-<TGConnectingPoint num="3" id="3696" />
-<tags value="" />
-<extraparam>
-<guard value="[ ]" enabled="true"/>
-<afterMin value="" enabled="true"/>
-<afterMax value="" enabled="true"/>
-<extraDelay1 value="" enabled="true"/>
-<extraDelay2 value="" enabled="true"/>
-<delayDistributionLaw value="0" enabled="true"/>
-<computeMin value="" enabled="true"/>
-<computeMax value="" enabled="true"/>
-<probability value="" enabled="true"/>
-</extraparam>
-</SUBCOMPONENT>
-
-<CONNECTOR type="5102" id="3683" index="14" uid="e8ef5dc9-c02f-4e2b-921d-8dfea0884f0c" >
-<cdparam x="126" y="702" />
-<sizeparam width="0" height="0" minWidth="0" minHeight="0" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" />
-<infoparam name="connector" value="null" />
-<TGConnectingPoint num="0" id="3684" />
-<P1  x="126" y="702" id="3424" />
-<P2  x="221" y="758" id="3028" />
-<AutomaticDrawing  data="true" />
-<new d="false" />
-</CONNECTOR><SUBCOMPONENT type="-1" id="3685" index="-1" uid="dcb462b1-5668-4db9-ab80-3c390a769eab" >
-<father id="3683" num="0" />
-<cdparam x="173" y="730" />
-<sizeparam width="50" height="25" minWidth="0" minHeight="0" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" />
-<hidden value="false" />
-<enabled value="true" />
-<cdrectangleparam minX="10" maxX="2500" minY="10" maxY="1500" />
-<infoparam name="List of all parameters of an Avatar SMD transition" value="" />
-<new d="false" />
-<TGConnectingPoint num="0" id="3686" />
-<TGConnectingPoint num="1" id="3687" />
-<TGConnectingPoint num="2" id="3688" />
-<TGConnectingPoint num="3" id="3689" />
-<tags value="" />
-<extraparam>
-<guard value="[ ]" enabled="true"/>
-<afterMin value="" enabled="true"/>
-<afterMax value="" enabled="true"/>
-<extraDelay1 value="" enabled="true"/>
-<extraDelay2 value="" enabled="true"/>
-<delayDistributionLaw value="0" enabled="true"/>
-<computeMin value="" enabled="true"/>
-<computeMax value="" enabled="true"/>
-<probability value="" enabled="true"/>
-</extraparam>
-</SUBCOMPONENT>
-
-<CONNECTOR type="5102" id="3676" index="15" uid="f577aead-ee82-4b6c-9103-61cc5e482f20" >
-<cdparam x="388" y="208" />
-<sizeparam width="0" height="0" minWidth="0" minHeight="0" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" />
-<infoparam name="connector" value="null" />
-<TGConnectingPoint num="0" id="3677" />
-<P1  x="388" y="208" id="3179" />
-<P2  x="644" y="264" id="3589" />
-<AutomaticDrawing  data="true" />
-<new d="false" />
-</CONNECTOR><SUBCOMPONENT type="-1" id="3678" index="-1" uid="781a1975-61c1-4e68-a827-ed0e5aebfca4" >
-<father id="3676" num="0" />
-<cdparam x="411" y="174" />
-<sizeparam width="162" height="32" minWidth="0" minHeight="0" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" />
-<hidden value="false" />
-<enabled value="true" />
-<cdrectangleparam minX="10" maxX="2500" minY="10" maxY="1500" />
-<infoparam name="List of all parameters of an Avatar SMD transition" value="" />
-<new d="false" />
-<TGConnectingPoint num="0" id="3679" />
-<TGConnectingPoint num="1" id="3680" />
-<TGConnectingPoint num="2" id="3681" />
-<TGConnectingPoint num="3" id="3682" />
-<tags value="" />
-<extraparam>
-<guard value="[ ]" enabled="true"/>
-<afterMin value="coinDelay" enabled="true"/>
-<afterMax value="coinDelay" enabled="true"/>
-<extraDelay1 value="" enabled="true"/>
-<extraDelay2 value="" enabled="true"/>
-<delayDistributionLaw value="0" enabled="true"/>
-<computeMin value="" enabled="true"/>
-<computeMax value="" enabled="true"/>
-<probability value="0.1" enabled="true"/>
-</extraparam>
-</SUBCOMPONENT>
-
-<CONNECTOR type="5102" id="3669" index="16" uid="2882e95b-03d9-4a3f-b0d1-265b4ef2d3e6" >
-<cdparam x="327" y="454" />
-<sizeparam width="0" height="0" minWidth="0" minHeight="0" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" />
-<infoparam name="connector" value="null" />
-<TGConnectingPoint num="0" id="3670" />
-<P1  x="327" y="454" id="3338" />
-<P2  x="442" y="497" id="3575" />
-<AutomaticDrawing  data="true" />
-<new d="false" />
-</CONNECTOR><SUBCOMPONENT type="-1" id="3671" index="-1" uid="31024209-f8df-47e5-b53d-b6ecd62c30a5" >
-<father id="3669" num="0" />
-<cdparam x="380" y="448" />
-<sizeparam width="162" height="25" minWidth="0" minHeight="0" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" />
-<hidden value="false" />
-<enabled value="true" />
-<cdrectangleparam minX="10" maxX="2500" minY="10" maxY="1500" />
-<infoparam name="List of all parameters of an Avatar SMD transition" value="" />
-<new d="false" />
-<TGConnectingPoint num="0" id="3672" />
-<TGConnectingPoint num="1" id="3673" />
-<TGConnectingPoint num="2" id="3674" />
-<TGConnectingPoint num="3" id="3675" />
-<tags value="" />
-<extraparam>
-<guard value="[ ]" enabled="true"/>
-<afterMin value="coinDelay" enabled="true"/>
-<afterMax value="coinDelay" enabled="true"/>
-<extraDelay1 value="" enabled="true"/>
-<extraDelay2 value="" enabled="true"/>
-<delayDistributionLaw value="0" enabled="true"/>
-<computeMin value="" enabled="true"/>
-<computeMax value="" enabled="true"/>
-<probability value="" enabled="true"/>
-</extraparam>
-</SUBCOMPONENT>
-
-<COMPONENT type="5103" id="3658" index="17" uid="a6473ed3-dfa8-494f-a788-bafebf235e99" >
-<cdparam x="634" y="321" />
-<sizeparam width="130" height="20" minWidth="30" minHeight="0" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" />
-<hidden value="false" />
-<enabled value="true" />
-<cdrectangleparam minX="10" maxX="2500" minY="10" maxY="1500" />
-<infoparam name="Send signal" value="ejectCoin(nbOfCoins)" />
-<new d="false" />
-<TGConnectingPoint num="0" id="3659" />
-<TGConnectingPoint num="1" id="3660" />
-<TGConnectingPoint num="2" id="3661" />
-<TGConnectingPoint num="3" id="3662" />
-<TGConnectingPoint num="4" id="3663" />
-<TGConnectingPoint num="5" id="3664" />
-<TGConnectingPoint num="6" id="3665" />
-<TGConnectingPoint num="7" id="3666" />
-<TGConnectingPoint num="8" id="3667" />
-<TGConnectingPoint num="9" id="3668" />
-<color value="-8342323" />
-<tags value="" />
-</COMPONENT>
-
-<COMPONENT type="5106" id="3585" index="18" uid="4d9afcd8-eb19-4db1-8873-1752ffa4aefa" >
-<cdparam x="644" y="239" />
-<sizeparam width="110" height="50" minWidth="40" minHeight="30" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" />
-<hidden value="false" />
-<enabled value="true" />
-<cdrectangleparam minX="10" maxX="2500" minY="10" maxY="1500" />
-<infoparam name="state" value="EjectState" />
-<new d="false" />
-<TGConnectingPoint num="0" id="3586" />
-<TGConnectingPoint num="1" id="3587" />
-<TGConnectingPoint num="2" id="3588" />
-<TGConnectingPoint num="3" id="3589" />
-<TGConnectingPoint num="4" id="3590" />
-<TGConnectingPoint num="5" id="3591" />
-<TGConnectingPoint num="6" id="3592" />
-<TGConnectingPoint num="7" id="3593" />
-<TGConnectingPoint num="8" id="3594" />
-<TGConnectingPoint num="9" id="3595" />
-<TGConnectingPoint num="10" id="3596" />
-<TGConnectingPoint num="11" id="3597" />
-<TGConnectingPoint num="12" id="3598" />
-<TGConnectingPoint num="13" id="3599" />
-<TGConnectingPoint num="14" id="3600" />
-<TGConnectingPoint num="15" id="3601" />
-<TGConnectingPoint num="16" id="3602" />
-<TGConnectingPoint num="17" id="3603" />
-<TGConnectingPoint num="18" id="3604" />
-<TGConnectingPoint num="19" id="3605" />
-<TGConnectingPoint num="20" id="3606" />
-<TGConnectingPoint num="21" id="3607" />
-<TGConnectingPoint num="22" id="3608" />
-<TGConnectingPoint num="23" id="3609" />
-<TGConnectingPoint num="24" id="3610" />
-<TGConnectingPoint num="25" id="3611" />
-<TGConnectingPoint num="26" id="3612" />
-<TGConnectingPoint num="27" id="3613" />
-<TGConnectingPoint num="28" id="3614" />
-<TGConnectingPoint num="29" id="3615" />
-<TGConnectingPoint num="30" id="3616" />
-<TGConnectingPoint num="31" id="3617" />
-<TGConnectingPoint num="32" id="3618" />
-<TGConnectingPoint num="33" id="3619" />
-<TGConnectingPoint num="34" id="3620" />
-<TGConnectingPoint num="35" id="3621" />
-<TGConnectingPoint num="36" id="3622" />
-<TGConnectingPoint num="37" id="3623" />
-<TGConnectingPoint num="38" id="3624" />
-<TGConnectingPoint num="39" id="3625" />
-<TGConnectingPoint num="40" id="3626" />
-<TGConnectingPoint num="41" id="3627" />
-<TGConnectingPoint num="42" id="3628" />
-<TGConnectingPoint num="43" id="3629" />
-<TGConnectingPoint num="44" id="3630" />
-<TGConnectingPoint num="45" id="3631" />
-<TGConnectingPoint num="46" id="3632" />
-<TGConnectingPoint num="47" id="3633" />
-<TGConnectingPoint num="48" id="3634" />
-<TGConnectingPoint num="49" id="3635" />
-<TGConnectingPoint num="50" id="3636" />
-<TGConnectingPoint num="51" id="3637" />
-<TGConnectingPoint num="52" id="3638" />
-<TGConnectingPoint num="53" id="3639" />
-<TGConnectingPoint num="54" id="3640" />
-<TGConnectingPoint num="55" id="3641" />
-<TGConnectingPoint num="56" id="3642" />
-<TGConnectingPoint num="57" id="3643" />
-<TGConnectingPoint num="58" id="3644" />
-<TGConnectingPoint num="59" id="3645" />
-<TGConnectingPoint num="60" id="3646" />
-<TGConnectingPoint num="61" id="3647" />
-<TGConnectingPoint num="62" id="3648" />
-<TGConnectingPoint num="63" id="3649" />
-<TGConnectingPoint num="64" id="3650" />
-<TGConnectingPoint num="65" id="3651" />
-<TGConnectingPoint num="66" id="3652" />
-<TGConnectingPoint num="67" id="3653" />
-<TGConnectingPoint num="68" id="3654" />
-<TGConnectingPoint num="69" id="3655" />
-<TGConnectingPoint num="70" id="3656" />
-<TGConnectingPoint num="71" id="3657" />
-<color value="-13261" />
-<tags value="" />
-<extraparam>
-</extraparam>
-</COMPONENT>
-
-<COMPONENT type="5106" id="3501" index="19" uid="cec10e71-0ba8-4ed2-b871-9e6d0c94c54d" >
-<cdparam x="223" y="650" />
-<sizeparam width="146" height="49" minWidth="40" minHeight="30" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" />
-<hidden value="false" />
-<enabled value="true" />
-<cdrectangleparam minX="10" maxX="2500" minY="10" maxY="1500" />
-<infoparam name="state" value="TeaDelivered" />
-<new d="false" />
-<TGConnectingPoint num="0" id="3502" />
-<TGConnectingPoint num="1" id="3503" />
-<TGConnectingPoint num="2" id="3504" />
-<TGConnectingPoint num="3" id="3505" />
-<TGConnectingPoint num="4" id="3506" />
-<TGConnectingPoint num="5" id="3507" />
-<TGConnectingPoint num="6" id="3508" />
-<TGConnectingPoint num="7" id="3509" />
-<TGConnectingPoint num="8" id="3510" />
-<TGConnectingPoint num="9" id="3511" />
-<TGConnectingPoint num="10" id="3512" />
-<TGConnectingPoint num="11" id="3513" />
-<TGConnectingPoint num="12" id="3514" />
-<TGConnectingPoint num="13" id="3515" />
-<TGConnectingPoint num="14" id="3516" />
-<TGConnectingPoint num="15" id="3517" />
-<TGConnectingPoint num="16" id="3518" />
-<TGConnectingPoint num="17" id="3519" />
-<TGConnectingPoint num="18" id="3520" />
-<TGConnectingPoint num="19" id="3521" />
-<TGConnectingPoint num="20" id="3522" />
-<TGConnectingPoint num="21" id="3523" />
-<TGConnectingPoint num="22" id="3524" />
-<TGConnectingPoint num="23" id="3525" />
-<TGConnectingPoint num="24" id="3526" />
-<TGConnectingPoint num="25" id="3527" />
-<TGConnectingPoint num="26" id="3528" />
-<TGConnectingPoint num="27" id="3529" />
-<TGConnectingPoint num="28" id="3530" />
-<TGConnectingPoint num="29" id="3531" />
-<TGConnectingPoint num="30" id="3532" />
-<TGConnectingPoint num="31" id="3533" />
-<TGConnectingPoint num="32" id="3534" />
-<TGConnectingPoint num="33" id="3535" />
-<TGConnectingPoint num="34" id="3536" />
-<TGConnectingPoint num="35" id="3537" />
-<TGConnectingPoint num="36" id="3538" />
-<TGConnectingPoint num="37" id="3539" />
-<TGConnectingPoint num="38" id="3540" />
-<TGConnectingPoint num="39" id="3541" />
-<TGConnectingPoint num="40" id="3542" />
-<TGConnectingPoint num="41" id="3543" />
-<TGConnectingPoint num="42" id="3544" />
-<TGConnectingPoint num="43" id="3545" />
-<TGConnectingPoint num="44" id="3546" />
-<TGConnectingPoint num="45" id="3547" />
-<TGConnectingPoint num="46" id="3548" />
-<TGConnectingPoint num="47" id="3549" />
-<TGConnectingPoint num="48" id="3550" />
-<TGConnectingPoint num="49" id="3551" />
-<TGConnectingPoint num="50" id="3552" />
-<TGConnectingPoint num="51" id="3553" />
-<TGConnectingPoint num="52" id="3554" />
-<TGConnectingPoint num="53" id="3555" />
-<TGConnectingPoint num="54" id="3556" />
-<TGConnectingPoint num="55" id="3557" />
-<TGConnectingPoint num="56" id="3558" />
-<TGConnectingPoint num="57" id="3559" />
-<TGConnectingPoint num="58" id="3560" />
-<TGConnectingPoint num="59" id="3561" />
-<TGConnectingPoint num="60" id="3562" />
-<TGConnectingPoint num="61" id="3563" />
-<TGConnectingPoint num="62" id="3564" />
-<TGConnectingPoint num="63" id="3565" />
-<TGConnectingPoint num="64" id="3566" />
-<TGConnectingPoint num="65" id="3567" />
-<TGConnectingPoint num="66" id="3568" />
-<TGConnectingPoint num="67" id="3569" />
-<TGConnectingPoint num="68" id="3570" />
-<TGConnectingPoint num="69" id="3571" />
-<TGConnectingPoint num="70" id="3572" />
-<TGConnectingPoint num="71" id="3573" />
-<color value="-4072719" />
-<tags value="" />
-<extraparam>
-</extraparam>
-</COMPONENT>
-
-<COMPONENT type="5106" id="3258" index="20" uid="5987cf43-0b61-4d99-8b1c-95923d43f912" >
-<cdparam x="23" y="372" />
-<sizeparam width="577" height="354" minWidth="40" minHeight="30" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" />
-<hidden value="false" />
-<enabled value="true" />
-<cdrectangleparam minX="10" maxX="2500" minY="10" maxY="1500" />
-<infoparam name="state" value="Beverage" />
-<new d="false" />
-<TGConnectingPoint num="0" id="3259" />
-<TGConnectingPoint num="1" id="3260" />
-<TGConnectingPoint num="2" id="3261" />
-<TGConnectingPoint num="3" id="3262" />
-<TGConnectingPoint num="4" id="3263" />
-<TGConnectingPoint num="5" id="3264" />
-<TGConnectingPoint num="6" id="3265" />
-<TGConnectingPoint num="7" id="3266" />
-<TGConnectingPoint num="8" id="3267" />
-<TGConnectingPoint num="9" id="3268" />
-<TGConnectingPoint num="10" id="3269" />
-<TGConnectingPoint num="11" id="3270" />
-<TGConnectingPoint num="12" id="3271" />
-<TGConnectingPoint num="13" id="3272" />
-<TGConnectingPoint num="14" id="3273" />
-<TGConnectingPoint num="15" id="3274" />
-<TGConnectingPoint num="16" id="3275" />
-<TGConnectingPoint num="17" id="3276" />
-<TGConnectingPoint num="18" id="3277" />
-<TGConnectingPoint num="19" id="3278" />
-<TGConnectingPoint num="20" id="3279" />
-<TGConnectingPoint num="21" id="3280" />
-<TGConnectingPoint num="22" id="3281" />
-<TGConnectingPoint num="23" id="3282" />
-<TGConnectingPoint num="24" id="3283" />
-<TGConnectingPoint num="25" id="3284" />
-<TGConnectingPoint num="26" id="3285" />
-<TGConnectingPoint num="27" id="3286" />
-<TGConnectingPoint num="28" id="3287" />
-<TGConnectingPoint num="29" id="3288" />
-<TGConnectingPoint num="30" id="3289" />
-<TGConnectingPoint num="31" id="3290" />
-<TGConnectingPoint num="32" id="3291" />
-<TGConnectingPoint num="33" id="3292" />
-<TGConnectingPoint num="34" id="3293" />
-<TGConnectingPoint num="35" id="3294" />
-<TGConnectingPoint num="36" id="3295" />
-<TGConnectingPoint num="37" id="3296" />
-<TGConnectingPoint num="38" id="3297" />
-<TGConnectingPoint num="39" id="3298" />
-<TGConnectingPoint num="40" id="3299" />
-<TGConnectingPoint num="41" id="3300" />
-<TGConnectingPoint num="42" id="3301" />
-<TGConnectingPoint num="43" id="3302" />
-<TGConnectingPoint num="44" id="3303" />
-<TGConnectingPoint num="45" id="3304" />
-<TGConnectingPoint num="46" id="3305" />
-<TGConnectingPoint num="47" id="3306" />
-<TGConnectingPoint num="48" id="3307" />
-<TGConnectingPoint num="49" id="3308" />
-<TGConnectingPoint num="50" id="3309" />
-<TGConnectingPoint num="51" id="3310" />
-<TGConnectingPoint num="52" id="3311" />
-<TGConnectingPoint num="53" id="3312" />
-<TGConnectingPoint num="54" id="3313" />
-<TGConnectingPoint num="55" id="3314" />
-<TGConnectingPoint num="56" id="3315" />
-<TGConnectingPoint num="57" id="3316" />
-<TGConnectingPoint num="58" id="3317" />
-<TGConnectingPoint num="59" id="3318" />
-<TGConnectingPoint num="60" id="3319" />
-<TGConnectingPoint num="61" id="3320" />
-<TGConnectingPoint num="62" id="3321" />
-<TGConnectingPoint num="63" id="3322" />
-<TGConnectingPoint num="64" id="3323" />
-<TGConnectingPoint num="65" id="3324" />
-<TGConnectingPoint num="66" id="3325" />
-<TGConnectingPoint num="67" id="3326" />
-<TGConnectingPoint num="68" id="3327" />
-<TGConnectingPoint num="69" id="3328" />
-<TGConnectingPoint num="70" id="3329" />
-<TGConnectingPoint num="71" id="3330" />
-<accessibility />
-<color value="-4072719" />
-<tags value="" />
-<extraparam>
-</extraparam>
-</COMPONENT>
-<SUBCOMPONENT type="5104" id="3490" index="-1" uid="225d010d-0448-4827-a9da-8ecb6d7fa3a7" >
-<father id="3258" num="0" />
-<cdparam x="242" y="529" />
-<sizeparam width="112" height="20" minWidth="30" minHeight="0" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" />
-<hidden value="false" />
-<enabled value="true" />
-<cdrectangleparam minX="0" maxX="465" minY="0" maxY="334" />
-<infoparam name="Receive signal" value="pushTeaButton()" />
-<new d="false" />
-<TGConnectingPoint num="0" id="3491" />
-<TGConnectingPoint num="1" id="3492" />
-<TGConnectingPoint num="2" id="3493" />
-<TGConnectingPoint num="3" id="3494" />
-<TGConnectingPoint num="4" id="3495" />
-<TGConnectingPoint num="5" id="3496" />
-<TGConnectingPoint num="6" id="3497" />
-<TGConnectingPoint num="7" id="3498" />
-<TGConnectingPoint num="8" id="3499" />
-<TGConnectingPoint num="9" id="3500" />
-<accessibility />
-<color value="-8342323" />
-<tags value="" />
-</SUBCOMPONENT>
-<SUBCOMPONENT type="5106" id="3333" index="-1" uid="368e5df1-8558-4f62-82fb-0deeffe128b3" >
-<father id="3258" num="1" />
-<cdparam x="195" y="434" />
-<sizeparam width="132" height="40" minWidth="40" minHeight="30" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" />
-<hidden value="false" />
-<enabled value="true" />
-<cdrectangleparam minX="0" maxX="445" minY="0" maxY="314" />
-<infoparam name="state" value="WaitingForSelection" />
-<new d="false" />
-<TGConnectingPoint num="0" id="3334" />
-<TGConnectingPoint num="1" id="3335" />
-<TGConnectingPoint num="2" id="3336" />
-<TGConnectingPoint num="3" id="3337" />
-<TGConnectingPoint num="4" id="3338" />
-<TGConnectingPoint num="5" id="3339" />
-<TGConnectingPoint num="6" id="3340" />
-<TGConnectingPoint num="7" id="3341" />
-<TGConnectingPoint num="8" id="3342" />
-<TGConnectingPoint num="9" id="3343" />
-<TGConnectingPoint num="10" id="3344" />
-<TGConnectingPoint num="11" id="3345" />
-<TGConnectingPoint num="12" id="3346" />
-<TGConnectingPoint num="13" id="3347" />
-<TGConnectingPoint num="14" id="3348" />
-<TGConnectingPoint num="15" id="3349" />
-<TGConnectingPoint num="16" id="3350" />
-<TGConnectingPoint num="17" id="3351" />
-<TGConnectingPoint num="18" id="3352" />
-<TGConnectingPoint num="19" id="3353" />
-<TGConnectingPoint num="20" id="3354" />
-<TGConnectingPoint num="21" id="3355" />
-<TGConnectingPoint num="22" id="3356" />
-<TGConnectingPoint num="23" id="3357" />
-<TGConnectingPoint num="24" id="3358" />
-<TGConnectingPoint num="25" id="3359" />
-<TGConnectingPoint num="26" id="3360" />
-<TGConnectingPoint num="27" id="3361" />
-<TGConnectingPoint num="28" id="3362" />
-<TGConnectingPoint num="29" id="3363" />
-<TGConnectingPoint num="30" id="3364" />
-<TGConnectingPoint num="31" id="3365" />
-<TGConnectingPoint num="32" id="3366" />
-<TGConnectingPoint num="33" id="3367" />
-<TGConnectingPoint num="34" id="3368" />
-<TGConnectingPoint num="35" id="3369" />
-<TGConnectingPoint num="36" id="3370" />
-<TGConnectingPoint num="37" id="3371" />
-<TGConnectingPoint num="38" id="3372" />
-<TGConnectingPoint num="39" id="3373" />
-<TGConnectingPoint num="40" id="3374" />
-<TGConnectingPoint num="41" id="3375" />
-<TGConnectingPoint num="42" id="3376" />
-<TGConnectingPoint num="43" id="3377" />
-<TGConnectingPoint num="44" id="3378" />
-<TGConnectingPoint num="45" id="3379" />
-<TGConnectingPoint num="46" id="3380" />
-<TGConnectingPoint num="47" id="3381" />
-<TGConnectingPoint num="48" id="3382" />
-<TGConnectingPoint num="49" id="3383" />
-<TGConnectingPoint num="50" id="3384" />
-<TGConnectingPoint num="51" id="3385" />
-<TGConnectingPoint num="52" id="3386" />
-<TGConnectingPoint num="53" id="3387" />
-<TGConnectingPoint num="54" id="3388" />
-<TGConnectingPoint num="55" id="3389" />
-<TGConnectingPoint num="56" id="3390" />
-<TGConnectingPoint num="57" id="3391" />
-<TGConnectingPoint num="58" id="3392" />
-<TGConnectingPoint num="59" id="3393" />
-<TGConnectingPoint num="60" id="3394" />
-<TGConnectingPoint num="61" id="3395" />
-<TGConnectingPoint num="62" id="3396" />
-<TGConnectingPoint num="63" id="3397" />
-<TGConnectingPoint num="64" id="3398" />
-<TGConnectingPoint num="65" id="3399" />
-<TGConnectingPoint num="66" id="3400" />
-<TGConnectingPoint num="67" id="3401" />
-<TGConnectingPoint num="68" id="3402" />
-<TGConnectingPoint num="69" id="3403" />
-<TGConnectingPoint num="70" id="3404" />
-<TGConnectingPoint num="71" id="3405" />
-<latencyCheck />
-<color value="-13057" />
-<tags value="" />
-<extraparam>
-</extraparam>
-</SUBCOMPONENT>
-<SUBCOMPONENT type="5100" id="3331" index="-1" uid="f57d15a0-24b6-4ba7-9a15-2430a763d425" >
-<father id="3258" num="2" />
-<cdparam x="254" y="401" />
-<sizeparam width="15" height="15" minWidth="0" minHeight="0" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" />
-<hidden value="false" />
-<cdrectangleparam minX="0" maxX="562" minY="0" maxY="339" />
-<infoparam name="start state" value="null" />
-<new d="false" />
-<TGConnectingPoint num="0" id="3332" />
-<tags value="" />
-</SUBCOMPONENT>
-<SUBCOMPONENT type="5104" id="3406" index="-1" uid="aee9c7bb-ae25-4679-ac8a-1754f7d4802c" >
-<father id="3258" num="3" />
-<cdparam x="63" y="529" />
-<sizeparam width="127" height="20" minWidth="30" minHeight="0" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" />
-<hidden value="false" />
-<enabled value="true" />
-<cdrectangleparam minX="0" maxX="450" minY="0" maxY="334" />
-<infoparam name="Receive signal" value="pushCoffeeButton()" />
-<new d="false" />
-<TGConnectingPoint num="0" id="3407" />
-<TGConnectingPoint num="1" id="3408" />
-<TGConnectingPoint num="2" id="3409" />
-<TGConnectingPoint num="3" id="3410" />
-<TGConnectingPoint num="4" id="3411" />
-<TGConnectingPoint num="5" id="3412" />
-<TGConnectingPoint num="6" id="3413" />
-<TGConnectingPoint num="7" id="3414" />
-<TGConnectingPoint num="8" id="3415" />
-<TGConnectingPoint num="9" id="3416" />
-<accessibility />
-<color value="-8342323" />
-<tags value="" />
-</SUBCOMPONENT>
-<SUBCOMPONENT type="5103" id="3574" index="-1" uid="12e359d9-2ac4-4965-9c84-c769bc9861e7" >
-<father id="3258" num="4" />
-<cdparam x="377" y="502" />
-<sizeparam width="130" height="20" minWidth="30" minHeight="0" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" />
-<hidden value="false" />
-<enabled value="true" />
-<cdrectangleparam minX="0" maxX="447" minY="0" maxY="334" />
-<infoparam name="Send signal" value="ejectCoin(nbOfCoins)" />
-<new d="false" />
-<TGConnectingPoint num="0" id="3575" />
-<TGConnectingPoint num="1" id="3576" />
-<TGConnectingPoint num="2" id="3577" />
-<TGConnectingPoint num="3" id="3578" />
-<TGConnectingPoint num="4" id="3579" />
-<TGConnectingPoint num="5" id="3580" />
-<TGConnectingPoint num="6" id="3581" />
-<TGConnectingPoint num="7" id="3582" />
-<TGConnectingPoint num="8" id="3583" />
-<TGConnectingPoint num="9" id="3584" />
-<accessibility />
-<color value="-8342323" />
-<tags value="" />
-</SUBCOMPONENT>
-<SUBCOMPONENT type="5106" id="3417" index="-1" uid="2acc6c53-5aea-4e43-92ce-24bd9900bc3b" >
-<father id="3258" num="5" />
-<cdparam x="53" y="653" />
-<sizeparam width="146" height="49" minWidth="40" minHeight="30" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" />
-<hidden value="false" />
-<enabled value="true" />
-<cdrectangleparam minX="0" maxX="431" minY="0" maxY="305" />
-<infoparam name="state" value="CoffeeDelivered" />
-<new d="false" />
-<TGConnectingPoint num="0" id="3418" />
-<TGConnectingPoint num="1" id="3419" />
-<TGConnectingPoint num="2" id="3420" />
-<TGConnectingPoint num="3" id="3421" />
-<TGConnectingPoint num="4" id="3422" />
-<TGConnectingPoint num="5" id="3423" />
-<TGConnectingPoint num="6" id="3424" />
-<TGConnectingPoint num="7" id="3425" />
-<TGConnectingPoint num="8" id="3426" />
-<TGConnectingPoint num="9" id="3427" />
-<TGConnectingPoint num="10" id="3428" />
-<TGConnectingPoint num="11" id="3429" />
-<TGConnectingPoint num="12" id="3430" />
-<TGConnectingPoint num="13" id="3431" />
-<TGConnectingPoint num="14" id="3432" />
-<TGConnectingPoint num="15" id="3433" />
-<TGConnectingPoint num="16" id="3434" />
-<TGConnectingPoint num="17" id="3435" />
-<TGConnectingPoint num="18" id="3436" />
-<TGConnectingPoint num="19" id="3437" />
-<TGConnectingPoint num="20" id="3438" />
-<TGConnectingPoint num="21" id="3439" />
-<TGConnectingPoint num="22" id="3440" />
-<TGConnectingPoint num="23" id="3441" />
-<TGConnectingPoint num="24" id="3442" />
-<TGConnectingPoint num="25" id="3443" />
-<TGConnectingPoint num="26" id="3444" />
-<TGConnectingPoint num="27" id="3445" />
-<TGConnectingPoint num="28" id="3446" />
-<TGConnectingPoint num="29" id="3447" />
-<TGConnectingPoint num="30" id="3448" />
-<TGConnectingPoint num="31" id="3449" />
-<TGConnectingPoint num="32" id="3450" />
-<TGConnectingPoint num="33" id="3451" />
-<TGConnectingPoint num="34" id="3452" />
-<TGConnectingPoint num="35" id="3453" />
-<TGConnectingPoint num="36" id="3454" />
-<TGConnectingPoint num="37" id="3455" />
-<TGConnectingPoint num="38" id="3456" />
-<TGConnectingPoint num="39" id="3457" />
-<TGConnectingPoint num="40" id="3458" />
-<TGConnectingPoint num="41" id="3459" />
-<TGConnectingPoint num="42" id="3460" />
-<TGConnectingPoint num="43" id="3461" />
-<TGConnectingPoint num="44" id="3462" />
-<TGConnectingPoint num="45" id="3463" />
-<TGConnectingPoint num="46" id="3464" />
-<TGConnectingPoint num="47" id="3465" />
-<TGConnectingPoint num="48" id="3466" />
-<TGConnectingPoint num="49" id="3467" />
-<TGConnectingPoint num="50" id="3468" />
-<TGConnectingPoint num="51" id="3469" />
-<TGConnectingPoint num="52" id="3470" />
-<TGConnectingPoint num="53" id="3471" />
-<TGConnectingPoint num="54" id="3472" />
-<TGConnectingPoint num="55" id="3473" />
-<TGConnectingPoint num="56" id="3474" />
-<TGConnectingPoint num="57" id="3475" />
-<TGConnectingPoint num="58" id="3476" />
-<TGConnectingPoint num="59" id="3477" />
-<TGConnectingPoint num="60" id="3478" />
-<TGConnectingPoint num="61" id="3479" />
-<TGConnectingPoint num="62" id="3480" />
-<TGConnectingPoint num="63" id="3481" />
-<TGConnectingPoint num="64" id="3482" />
-<TGConnectingPoint num="65" id="3483" />
-<TGConnectingPoint num="66" id="3484" />
-<TGConnectingPoint num="67" id="3485" />
-<TGConnectingPoint num="68" id="3486" />
-<TGConnectingPoint num="69" id="3487" />
-<TGConnectingPoint num="70" id="3488" />
-<TGConnectingPoint num="71" id="3489" />
-<color value="-4072719" />
-<tags value="" />
-<extraparam>
-</extraparam>
-</SUBCOMPONENT>
-
-<COMPONENT type="5104" id="3247" index="21" uid="74373975-07e6-4dc5-b451-b2c269b09c72" >
-<cdparam x="239" y="280" />
-<sizeparam width="76" height="20" minWidth="30" minHeight="0" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" />
-<hidden value="false" />
-<enabled value="true" />
-<cdrectangleparam minX="10" maxX="2500" minY="10" maxY="1500" />
-<infoparam name="Receive signal" value="getCoin(x)" />
-<new d="false" />
-<TGConnectingPoint num="0" id="3248" />
-<TGConnectingPoint num="1" id="3249" />
-<TGConnectingPoint num="2" id="3250" />
-<TGConnectingPoint num="3" id="3251" />
-<TGConnectingPoint num="4" id="3252" />
-<TGConnectingPoint num="5" id="3253" />
-<TGConnectingPoint num="6" id="3254" />
-<TGConnectingPoint num="7" id="3255" />
-<TGConnectingPoint num="8" id="3256" />
-<TGConnectingPoint num="9" id="3257" />
-<accessibility />
-<color value="-8342323" />
-<tags value="" />
-</COMPONENT>
-
-<COMPONENT type="5106" id="3174" index="22" uid="11fc0e2a-12e7-4fe5-ab19-a76c5ec51db7" >
-<cdparam x="231" y="188" />
-<sizeparam width="157" height="40" minWidth="40" minHeight="30" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" />
-<hidden value="false" />
-<enabled value="true" />
-<cdrectangleparam minX="10" maxX="2500" minY="10" maxY="1500" />
-<infoparam name="state" value="WaitingForSecondCoin" />
-<new d="false" />
-<TGConnectingPoint num="0" id="3175" />
-<TGConnectingPoint num="1" id="3176" />
-<TGConnectingPoint num="2" id="3177" />
-<TGConnectingPoint num="3" id="3178" />
-<TGConnectingPoint num="4" id="3179" />
-<TGConnectingPoint num="5" id="3180" />
-<TGConnectingPoint num="6" id="3181" />
-<TGConnectingPoint num="7" id="3182" />
-<TGConnectingPoint num="8" id="3183" />
-<TGConnectingPoint num="9" id="3184" />
-<TGConnectingPoint num="10" id="3185" />
-<TGConnectingPoint num="11" id="3186" />
-<TGConnectingPoint num="12" id="3187" />
-<TGConnectingPoint num="13" id="3188" />
-<TGConnectingPoint num="14" id="3189" />
-<TGConnectingPoint num="15" id="3190" />
-<TGConnectingPoint num="16" id="3191" />
-<TGConnectingPoint num="17" id="3192" />
-<TGConnectingPoint num="18" id="3193" />
-<TGConnectingPoint num="19" id="3194" />
-<TGConnectingPoint num="20" id="3195" />
-<TGConnectingPoint num="21" id="3196" />
-<TGConnectingPoint num="22" id="3197" />
-<TGConnectingPoint num="23" id="3198" />
-<TGConnectingPoint num="24" id="3199" />
-<TGConnectingPoint num="25" id="3200" />
-<TGConnectingPoint num="26" id="3201" />
-<TGConnectingPoint num="27" id="3202" />
-<TGConnectingPoint num="28" id="3203" />
-<TGConnectingPoint num="29" id="3204" />
-<TGConnectingPoint num="30" id="3205" />
-<TGConnectingPoint num="31" id="3206" />
-<TGConnectingPoint num="32" id="3207" />
-<TGConnectingPoint num="33" id="3208" />
-<TGConnectingPoint num="34" id="3209" />
-<TGConnectingPoint num="35" id="3210" />
-<TGConnectingPoint num="36" id="3211" />
-<TGConnectingPoint num="37" id="3212" />
-<TGConnectingPoint num="38" id="3213" />
-<TGConnectingPoint num="39" id="3214" />
-<TGConnectingPoint num="40" id="3215" />
-<TGConnectingPoint num="41" id="3216" />
-<TGConnectingPoint num="42" id="3217" />
-<TGConnectingPoint num="43" id="3218" />
-<TGConnectingPoint num="44" id="3219" />
-<TGConnectingPoint num="45" id="3220" />
-<TGConnectingPoint num="46" id="3221" />
-<TGConnectingPoint num="47" id="3222" />
-<TGConnectingPoint num="48" id="3223" />
-<TGConnectingPoint num="49" id="3224" />
-<TGConnectingPoint num="50" id="3225" />
-<TGConnectingPoint num="51" id="3226" />
-<TGConnectingPoint num="52" id="3227" />
-<TGConnectingPoint num="53" id="3228" />
-<TGConnectingPoint num="54" id="3229" />
-<TGConnectingPoint num="55" id="3230" />
-<TGConnectingPoint num="56" id="3231" />
-<TGConnectingPoint num="57" id="3232" />
-<TGConnectingPoint num="58" id="3233" />
-<TGConnectingPoint num="59" id="3234" />
-<TGConnectingPoint num="60" id="3235" />
-<TGConnectingPoint num="61" id="3236" />
-<TGConnectingPoint num="62" id="3237" />
-<TGConnectingPoint num="63" id="3238" />
-<TGConnectingPoint num="64" id="3239" />
-<TGConnectingPoint num="65" id="3240" />
-<TGConnectingPoint num="66" id="3241" />
-<TGConnectingPoint num="67" id="3242" />
-<TGConnectingPoint num="68" id="3243" />
-<TGConnectingPoint num="69" id="3244" />
-<TGConnectingPoint num="70" id="3245" />
-<TGConnectingPoint num="71" id="3246" />
-<latencyCheck />
-<color value="-4072719" />
-<tags value="" />
-<extraparam>
-</extraparam>
-</COMPONENT>
-
-<COMPONENT type="5104" id="3163" index="23" uid="b1bb2880-a3bc-45cd-bc80-434f16150bad" >
-<cdparam x="268" y="141" />
-<sizeparam width="76" height="20" minWidth="30" minHeight="0" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" />
-<hidden value="false" />
-<enabled value="true" />
-<cdrectangleparam minX="10" maxX="2500" minY="10" maxY="1500" />
-<infoparam name="Receive signal" value="getCoin(x)" />
-<new d="false" />
-<TGConnectingPoint num="0" id="3164" />
-<TGConnectingPoint num="1" id="3165" />
-<TGConnectingPoint num="2" id="3166" />
-<TGConnectingPoint num="3" id="3167" />
-<TGConnectingPoint num="4" id="3168" />
-<TGConnectingPoint num="5" id="3169" />
-<TGConnectingPoint num="6" id="3170" />
-<TGConnectingPoint num="7" id="3171" />
-<TGConnectingPoint num="8" id="3172" />
-<TGConnectingPoint num="9" id="3173" />
-<accessibility />
-<latencyCheck />
-<color value="-8342323" />
-<tags value="" />
-</COMPONENT>
-
-<COMPONENT type="5106" id="3090" index="24" uid="eb7ab572-9619-49ec-92c1-5528d242fb06" >
-<cdparam x="631" y="381" />
-<sizeparam width="137" height="40" minWidth="40" minHeight="30" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" />
-<hidden value="false" />
-<enabled value="true" />
-<cdrectangleparam minX="10" maxX="2500" minY="10" maxY="1500" />
-<infoparam name="state" value="WaitingForFirstCoin" />
-<new d="false" />
-<TGConnectingPoint num="0" id="3091" />
-<TGConnectingPoint num="1" id="3092" />
-<TGConnectingPoint num="2" id="3093" />
-<TGConnectingPoint num="3" id="3094" />
-<TGConnectingPoint num="4" id="3095" />
-<TGConnectingPoint num="5" id="3096" />
-<TGConnectingPoint num="6" id="3097" />
-<TGConnectingPoint num="7" id="3098" />
-<TGConnectingPoint num="8" id="3099" />
-<TGConnectingPoint num="9" id="3100" />
-<TGConnectingPoint num="10" id="3101" />
-<TGConnectingPoint num="11" id="3102" />
-<TGConnectingPoint num="12" id="3103" />
-<TGConnectingPoint num="13" id="3104" />
-<TGConnectingPoint num="14" id="3105" />
-<TGConnectingPoint num="15" id="3106" />
-<TGConnectingPoint num="16" id="3107" />
-<TGConnectingPoint num="17" id="3108" />
-<TGConnectingPoint num="18" id="3109" />
-<TGConnectingPoint num="19" id="3110" />
-<TGConnectingPoint num="20" id="3111" />
-<TGConnectingPoint num="21" id="3112" />
-<TGConnectingPoint num="22" id="3113" />
-<TGConnectingPoint num="23" id="3114" />
-<TGConnectingPoint num="24" id="3115" />
-<TGConnectingPoint num="25" id="3116" />
-<TGConnectingPoint num="26" id="3117" />
-<TGConnectingPoint num="27" id="3118" />
-<TGConnectingPoint num="28" id="3119" />
-<TGConnectingPoint num="29" id="3120" />
-<TGConnectingPoint num="30" id="3121" />
-<TGConnectingPoint num="31" id="3122" />
-<TGConnectingPoint num="32" id="3123" />
-<TGConnectingPoint num="33" id="3124" />
-<TGConnectingPoint num="34" id="3125" />
-<TGConnectingPoint num="35" id="3126" />
-<TGConnectingPoint num="36" id="3127" />
-<TGConnectingPoint num="37" id="3128" />
-<TGConnectingPoint num="38" id="3129" />
-<TGConnectingPoint num="39" id="3130" />
-<TGConnectingPoint num="40" id="3131" />
-<TGConnectingPoint num="41" id="3132" />
-<TGConnectingPoint num="42" id="3133" />
-<TGConnectingPoint num="43" id="3134" />
-<TGConnectingPoint num="44" id="3135" />
-<TGConnectingPoint num="45" id="3136" />
-<TGConnectingPoint num="46" id="3137" />
-<TGConnectingPoint num="47" id="3138" />
-<TGConnectingPoint num="48" id="3139" />
-<TGConnectingPoint num="49" id="3140" />
-<TGConnectingPoint num="50" id="3141" />
-<TGConnectingPoint num="51" id="3142" />
-<TGConnectingPoint num="52" id="3143" />
-<TGConnectingPoint num="53" id="3144" />
-<TGConnectingPoint num="54" id="3145" />
-<TGConnectingPoint num="55" id="3146" />
-<TGConnectingPoint num="56" id="3147" />
-<TGConnectingPoint num="57" id="3148" />
-<TGConnectingPoint num="58" id="3149" />
-<TGConnectingPoint num="59" id="3150" />
-<TGConnectingPoint num="60" id="3151" />
-<TGConnectingPoint num="61" id="3152" />
-<TGConnectingPoint num="62" id="3153" />
-<TGConnectingPoint num="63" id="3154" />
-<TGConnectingPoint num="64" id="3155" />
-<TGConnectingPoint num="65" id="3156" />
-<TGConnectingPoint num="66" id="3157" />
-<TGConnectingPoint num="67" id="3158" />
-<TGConnectingPoint num="68" id="3159" />
-<TGConnectingPoint num="69" id="3160" />
-<TGConnectingPoint num="70" id="3161" />
-<TGConnectingPoint num="71" id="3162" />
-<accessibility />
-<color value="-4072719" />
-<tags value="" />
-<extraparam>
-</extraparam>
-</COMPONENT>
-
-<COMPONENT type="5106" id="3017" index="25" uid="c6cedd6f-67aa-41ec-aa89-2ad8a83917fa" >
-<cdparam x="221" y="748" />
-<sizeparam width="137" height="40" minWidth="40" minHeight="30" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" />
-<hidden value="false" />
-<enabled value="true" />
-<cdrectangleparam minX="10" maxX="2500" minY="10" maxY="1500" />
-<infoparam name="state" value="WaitingForFirstCoin" />
-<new d="false" />
-<TGConnectingPoint num="0" id="3018" />
-<TGConnectingPoint num="1" id="3019" />
-<TGConnectingPoint num="2" id="3020" />
-<TGConnectingPoint num="3" id="3021" />
-<TGConnectingPoint num="4" id="3022" />
-<TGConnectingPoint num="5" id="3023" />
-<TGConnectingPoint num="6" id="3024" />
-<TGConnectingPoint num="7" id="3025" />
-<TGConnectingPoint num="8" id="3026" />
-<TGConnectingPoint num="9" id="3027" />
-<TGConnectingPoint num="10" id="3028" />
-<TGConnectingPoint num="11" id="3029" />
-<TGConnectingPoint num="12" id="3030" />
-<TGConnectingPoint num="13" id="3031" />
-<TGConnectingPoint num="14" id="3032" />
-<TGConnectingPoint num="15" id="3033" />
-<TGConnectingPoint num="16" id="3034" />
-<TGConnectingPoint num="17" id="3035" />
-<TGConnectingPoint num="18" id="3036" />
-<TGConnectingPoint num="19" id="3037" />
-<TGConnectingPoint num="20" id="3038" />
-<TGConnectingPoint num="21" id="3039" />
-<TGConnectingPoint num="22" id="3040" />
-<TGConnectingPoint num="23" id="3041" />
-<TGConnectingPoint num="24" id="3042" />
-<TGConnectingPoint num="25" id="3043" />
-<TGConnectingPoint num="26" id="3044" />
-<TGConnectingPoint num="27" id="3045" />
-<TGConnectingPoint num="28" id="3046" />
-<TGConnectingPoint num="29" id="3047" />
-<TGConnectingPoint num="30" id="3048" />
-<TGConnectingPoint num="31" id="3049" />
-<TGConnectingPoint num="32" id="3050" />
-<TGConnectingPoint num="33" id="3051" />
-<TGConnectingPoint num="34" id="3052" />
-<TGConnectingPoint num="35" id="3053" />
-<TGConnectingPoint num="36" id="3054" />
-<TGConnectingPoint num="37" id="3055" />
-<TGConnectingPoint num="38" id="3056" />
-<TGConnectingPoint num="39" id="3057" />
-<TGConnectingPoint num="40" id="3058" />
-<TGConnectingPoint num="41" id="3059" />
-<TGConnectingPoint num="42" id="3060" />
-<TGConnectingPoint num="43" id="3061" />
-<TGConnectingPoint num="44" id="3062" />
-<TGConnectingPoint num="45" id="3063" />
-<TGConnectingPoint num="46" id="3064" />
-<TGConnectingPoint num="47" id="3065" />
-<TGConnectingPoint num="48" id="3066" />
-<TGConnectingPoint num="49" id="3067" />
-<TGConnectingPoint num="50" id="3068" />
-<TGConnectingPoint num="51" id="3069" />
-<TGConnectingPoint num="52" id="3070" />
-<TGConnectingPoint num="53" id="3071" />
-<TGConnectingPoint num="54" id="3072" />
-<TGConnectingPoint num="55" id="3073" />
-<TGConnectingPoint num="56" id="3074" />
-<TGConnectingPoint num="57" id="3075" />
-<TGConnectingPoint num="58" id="3076" />
-<TGConnectingPoint num="59" id="3077" />
-<TGConnectingPoint num="60" id="3078" />
-<TGConnectingPoint num="61" id="3079" />
-<TGConnectingPoint num="62" id="3080" />
-<TGConnectingPoint num="63" id="3081" />
-<TGConnectingPoint num="64" id="3082" />
-<TGConnectingPoint num="65" id="3083" />
-<TGConnectingPoint num="66" id="3084" />
-<TGConnectingPoint num="67" id="3085" />
-<TGConnectingPoint num="68" id="3086" />
-<TGConnectingPoint num="69" id="3087" />
-<TGConnectingPoint num="70" id="3088" />
-<TGConnectingPoint num="71" id="3089" />
-<accessibility />
-<color value="-52" />
-<tags value="" />
-<extraparam>
-</extraparam>
-</COMPONENT>
-
-<COMPONENT type="5106" id="2944" index="26" uid="b8b63060-2579-45ca-b28d-cfeb39715e41" >
-<cdparam x="192" y="62" />
-<sizeparam width="220" height="40" minWidth="40" minHeight="30" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" />
-<hidden value="false" />
-<enabled value="true" />
-<cdrectangleparam minX="10" maxX="2500" minY="10" maxY="1500" />
-<infoparam name="state" value="WaitingForFirstCoin" />
-<new d="false" />
-<TGConnectingPoint num="0" id="2945" />
-<TGConnectingPoint num="1" id="2946" />
-<TGConnectingPoint num="2" id="2947" />
-<TGConnectingPoint num="3" id="2948" />
-<TGConnectingPoint num="4" id="2949" />
-<TGConnectingPoint num="5" id="2950" />
-<TGConnectingPoint num="6" id="2951" />
-<TGConnectingPoint num="7" id="2952" />
-<TGConnectingPoint num="8" id="2953" />
-<TGConnectingPoint num="9" id="2954" />
-<TGConnectingPoint num="10" id="2955" />
-<TGConnectingPoint num="11" id="2956" />
-<TGConnectingPoint num="12" id="2957" />
-<TGConnectingPoint num="13" id="2958" />
-<TGConnectingPoint num="14" id="2959" />
-<TGConnectingPoint num="15" id="2960" />
-<TGConnectingPoint num="16" id="2961" />
-<TGConnectingPoint num="17" id="2962" />
-<TGConnectingPoint num="18" id="2963" />
-<TGConnectingPoint num="19" id="2964" />
-<TGConnectingPoint num="20" id="2965" />
-<TGConnectingPoint num="21" id="2966" />
-<TGConnectingPoint num="22" id="2967" />
-<TGConnectingPoint num="23" id="2968" />
-<TGConnectingPoint num="24" id="2969" />
-<TGConnectingPoint num="25" id="2970" />
-<TGConnectingPoint num="26" id="2971" />
-<TGConnectingPoint num="27" id="2972" />
-<TGConnectingPoint num="28" id="2973" />
-<TGConnectingPoint num="29" id="2974" />
-<TGConnectingPoint num="30" id="2975" />
-<TGConnectingPoint num="31" id="2976" />
-<TGConnectingPoint num="32" id="2977" />
-<TGConnectingPoint num="33" id="2978" />
-<TGConnectingPoint num="34" id="2979" />
-<TGConnectingPoint num="35" id="2980" />
-<TGConnectingPoint num="36" id="2981" />
-<TGConnectingPoint num="37" id="2982" />
-<TGConnectingPoint num="38" id="2983" />
-<TGConnectingPoint num="39" id="2984" />
-<TGConnectingPoint num="40" id="2985" />
-<TGConnectingPoint num="41" id="2986" />
-<TGConnectingPoint num="42" id="2987" />
-<TGConnectingPoint num="43" id="2988" />
-<TGConnectingPoint num="44" id="2989" />
-<TGConnectingPoint num="45" id="2990" />
-<TGConnectingPoint num="46" id="2991" />
-<TGConnectingPoint num="47" id="2992" />
-<TGConnectingPoint num="48" id="2993" />
-<TGConnectingPoint num="49" id="2994" />
-<TGConnectingPoint num="50" id="2995" />
-<TGConnectingPoint num="51" id="2996" />
-<TGConnectingPoint num="52" id="2997" />
-<TGConnectingPoint num="53" id="2998" />
-<TGConnectingPoint num="54" id="2999" />
-<TGConnectingPoint num="55" id="3000" />
-<TGConnectingPoint num="56" id="3001" />
-<TGConnectingPoint num="57" id="3002" />
-<TGConnectingPoint num="58" id="3003" />
-<TGConnectingPoint num="59" id="3004" />
-<TGConnectingPoint num="60" id="3005" />
-<TGConnectingPoint num="61" id="3006" />
-<TGConnectingPoint num="62" id="3007" />
-<TGConnectingPoint num="63" id="3008" />
-<TGConnectingPoint num="64" id="3009" />
-<TGConnectingPoint num="65" id="3010" />
-<TGConnectingPoint num="66" id="3011" />
-<TGConnectingPoint num="67" id="3012" />
-<TGConnectingPoint num="68" id="3013" />
-<TGConnectingPoint num="69" id="3014" />
-<TGConnectingPoint num="70" id="3015" />
-<TGConnectingPoint num="71" id="3016" />
-<accessibility />
-<latencyCheck />
-<color value="-4072719" />
-<tags value="" />
-<extraparam>
-</extraparam>
-</COMPONENT>
-
-<COMPONENT type="5100" id="2942" index="27" uid="b9a9ddf8-3c73-4305-8c31-4d02702fc655" >
-<cdparam x="296" y="20" />
-<sizeparam width="15" height="15" minWidth="0" minHeight="0" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" />
-<hidden value="false" />
-<cdrectangleparam minX="10" maxX="2500" minY="10" maxY="1500" />
-<infoparam name="start state" value="null" />
-<new d="false" />
-<TGConnectingPoint num="0" id="2943" />
-<tags value="" />
-</COMPONENT>
-
-
-</AVATARStateMachineDiagramPanel>
-
-<AVATARStateMachineDiagramPanel name="TeaButton" minX="10" maxX="2500" minY="10" maxY="1500" zoom="1.0" >
-<CONNECTOR type="5102" id="4006" index="0" uid="273b8abf-cd17-474f-9ebc-f99f28423ff4" >
-<cdparam x="363" y="204" />
-<sizeparam width="0" height="0" minWidth="0" minHeight="0" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" />
-<infoparam name="connector" value="null" />
-<TGConnectingPoint num="0" id="4007" />
-<P1  x="363" y="204" id="3983" />
-<P2  x="362" y="257" id="3837" />
-<AutomaticDrawing  data="true" />
-<new d="false" />
-</CONNECTOR><SUBCOMPONENT type="-1" id="4008" index="-1" uid="1c9f51fc-9f45-4ea0-8613-037c4e9087a1" >
-<father id="4006" num="0" />
-<cdparam x="364" y="196" />
-<sizeparam width="145" height="25" minWidth="0" minHeight="0" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" />
-<hidden value="false" />
-<enabled value="true" />
-<cdrectangleparam minX="10" maxX="2500" minY="10" maxY="1500" />
-<infoparam name="List of all parameters of an Avatar SMD transition" value="" />
-<new d="false" />
-<TGConnectingPoint num="0" id="4009" />
-<TGConnectingPoint num="1" id="4010" />
-<TGConnectingPoint num="2" id="4011" />
-<TGConnectingPoint num="3" id="4012" />
-<tags value="" />
-<extraparam>
-<guard value="[ ]" enabled="true"/>
-<afterMin value="mechanicalDelay" enabled="true"/>
-<afterMax value="mechanicalDelay" enabled="true"/>
-<extraDelay1 value="" enabled="true"/>
-<extraDelay2 value="" enabled="true"/>
-<delayDistributionLaw value="0" enabled="true"/>
-<computeMin value="" enabled="true"/>
-<computeMax value="" enabled="true"/>
-<probability value="" enabled="true"/>
-</extraparam>
-</SUBCOMPONENT>
-
-<CONNECTOR type="5102" id="3999" index="1" uid="8b2a2dca-74ee-454e-bb31-eea64dcea305" >
-<cdparam x="363" y="150" />
-<sizeparam width="0" height="0" minWidth="0" minHeight="0" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" />
-<infoparam name="connector" value="null" />
-<TGConnectingPoint num="0" id="4000" />
-<P1  x="363" y="150" id="3915" />
-<P2  x="363" y="174" id="3982" />
-<AutomaticDrawing  data="true" />
-<new d="false" />
-</CONNECTOR><SUBCOMPONENT type="-1" id="4001" index="-1" uid="30aa1687-1092-4d52-a3e6-22ba1aa125d6" >
-<father id="3999" num="0" />
-<cdparam x="363" y="190" />
-<sizeparam width="50" height="25" minWidth="0" minHeight="0" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" />
-<hidden value="false" />
-<enabled value="true" />
-<cdrectangleparam minX="10" maxX="2500" minY="10" maxY="1500" />
-<infoparam name="List of all parameters of an Avatar SMD transition" value="" />
-<new d="false" />
-<TGConnectingPoint num="0" id="4002" />
-<TGConnectingPoint num="1" id="4003" />
-<TGConnectingPoint num="2" id="4004" />
-<TGConnectingPoint num="3" id="4005" />
-<tags value="" />
-<extraparam>
-<guard value="[ ]" enabled="true"/>
-<afterMin value="" enabled="true"/>
-<afterMax value="" enabled="true"/>
-<extraDelay1 value="" enabled="true"/>
-<extraDelay2 value="" enabled="true"/>
-<delayDistributionLaw value="0" enabled="true"/>
-<computeMin value="" enabled="true"/>
-<computeMax value="" enabled="true"/>
-<probability value="" enabled="true"/>
-</extraparam>
-</SUBCOMPONENT>
-
-<CONNECTOR type="5102" id="3992" index="2" uid="1d3ea585-8f7f-4698-a48b-f9a06beaaa6f" >
-<cdparam x="362" y="101" />
-<sizeparam width="0" height="0" minWidth="0" minHeight="0" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" />
-<infoparam name="connector" value="null" />
-<TGConnectingPoint num="0" id="3993" />
-<P1  x="362" y="101" id="3834" />
-<P2  x="363" y="120" id="3910" />
-<AutomaticDrawing  data="true" />
-<new d="false" />
-</CONNECTOR><SUBCOMPONENT type="-1" id="3994" index="-1" uid="ccf431f1-3bef-414f-942e-787a5b2d78b6" >
-<father id="3992" num="0" />
-<cdparam x="362" y="141" />
-<sizeparam width="50" height="25" minWidth="0" minHeight="0" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" />
-<hidden value="false" />
-<enabled value="true" />
-<cdrectangleparam minX="10" maxX="2500" minY="10" maxY="1500" />
-<infoparam name="List of all parameters of an Avatar SMD transition" value="" />
-<new d="false" />
-<TGConnectingPoint num="0" id="3995" />
-<TGConnectingPoint num="1" id="3996" />
-<TGConnectingPoint num="2" id="3997" />
-<TGConnectingPoint num="3" id="3998" />
-<tags value="" />
-<extraparam>
-<guard value="[ ]" enabled="true"/>
-<afterMin value="" enabled="true"/>
-<afterMax value="" enabled="true"/>
-<extraDelay1 value="" enabled="true"/>
-<extraDelay2 value="" enabled="true"/>
-<delayDistributionLaw value="0" enabled="true"/>
-<computeMin value="" enabled="true"/>
-<computeMax value="" enabled="true"/>
-<probability value="" enabled="true"/>
-</extraparam>
-</SUBCOMPONENT>
-
-<COMPONENT type="5103" id="3981" index="3" uid="9ec0bd88-5810-4430-833d-e10a94be027e" >
-<cdparam x="340" y="179" />
-<sizeparam width="46" height="20" minWidth="30" minHeight="0" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" />
-<hidden value="false" />
-<enabled value="true" />
-<cdrectangleparam minX="10" maxX="2500" minY="10" maxY="1500" />
-<infoparam name="Send signal" value="push()" />
-<new d="false" />
-<TGConnectingPoint num="0" id="3982" />
-<TGConnectingPoint num="1" id="3983" />
-<TGConnectingPoint num="2" id="3984" />
-<TGConnectingPoint num="3" id="3985" />
-<TGConnectingPoint num="4" id="3986" />
-<TGConnectingPoint num="5" id="3987" />
-<TGConnectingPoint num="6" id="3988" />
-<TGConnectingPoint num="7" id="3989" />
-<TGConnectingPoint num="8" id="3990" />
-<TGConnectingPoint num="9" id="3991" />
-<color value="-8342323" />
-<tags value="" />
-</COMPONENT>
-
-<COMPONENT type="5106" id="3908" index="4" uid="470f2733-d6ce-4bc6-8e40-49521341bbe1" >
-<cdparam x="338" y="120" />
-<sizeparam width="50" height="30" minWidth="40" minHeight="30" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" />
-<hidden value="false" />
-<enabled value="true" />
-<cdrectangleparam minX="10" maxX="2500" minY="10" maxY="1500" />
-<infoparam name="state" value="main" />
-<new d="false" />
-<TGConnectingPoint num="0" id="3909" />
-<TGConnectingPoint num="1" id="3910" />
-<TGConnectingPoint num="2" id="3911" />
-<TGConnectingPoint num="3" id="3912" />
-<TGConnectingPoint num="4" id="3913" />
-<TGConnectingPoint num="5" id="3914" />
-<TGConnectingPoint num="6" id="3915" />
-<TGConnectingPoint num="7" id="3916" />
-<TGConnectingPoint num="8" id="3917" />
-<TGConnectingPoint num="9" id="3918" />
-<TGConnectingPoint num="10" id="3919" />
-<TGConnectingPoint num="11" id="3920" />
-<TGConnectingPoint num="12" id="3921" />
-<TGConnectingPoint num="13" id="3922" />
-<TGConnectingPoint num="14" id="3923" />
-<TGConnectingPoint num="15" id="3924" />
-<TGConnectingPoint num="16" id="3925" />
-<TGConnectingPoint num="17" id="3926" />
-<TGConnectingPoint num="18" id="3927" />
-<TGConnectingPoint num="19" id="3928" />
-<TGConnectingPoint num="20" id="3929" />
-<TGConnectingPoint num="21" id="3930" />
-<TGConnectingPoint num="22" id="3931" />
-<TGConnectingPoint num="23" id="3932" />
-<TGConnectingPoint num="24" id="3933" />
-<TGConnectingPoint num="25" id="3934" />
-<TGConnectingPoint num="26" id="3935" />
-<TGConnectingPoint num="27" id="3936" />
-<TGConnectingPoint num="28" id="3937" />
-<TGConnectingPoint num="29" id="3938" />
-<TGConnectingPoint num="30" id="3939" />
-<TGConnectingPoint num="31" id="3940" />
-<TGConnectingPoint num="32" id="3941" />
-<TGConnectingPoint num="33" id="3942" />
-<TGConnectingPoint num="34" id="3943" />
-<TGConnectingPoint num="35" id="3944" />
-<TGConnectingPoint num="36" id="3945" />
-<TGConnectingPoint num="37" id="3946" />
-<TGConnectingPoint num="38" id="3947" />
-<TGConnectingPoint num="39" id="3948" />
-<TGConnectingPoint num="40" id="3949" />
-<TGConnectingPoint num="41" id="3950" />
-<TGConnectingPoint num="42" id="3951" />
-<TGConnectingPoint num="43" id="3952" />
-<TGConnectingPoint num="44" id="3953" />
-<TGConnectingPoint num="45" id="3954" />
-<TGConnectingPoint num="46" id="3955" />
-<TGConnectingPoint num="47" id="3956" />
-<TGConnectingPoint num="48" id="3957" />
-<TGConnectingPoint num="49" id="3958" />
-<TGConnectingPoint num="50" id="3959" />
-<TGConnectingPoint num="51" id="3960" />
-<TGConnectingPoint num="52" id="3961" />
-<TGConnectingPoint num="53" id="3962" />
-<TGConnectingPoint num="54" id="3963" />
-<TGConnectingPoint num="55" id="3964" />
-<TGConnectingPoint num="56" id="3965" />
-<TGConnectingPoint num="57" id="3966" />
-<TGConnectingPoint num="58" id="3967" />
-<TGConnectingPoint num="59" id="3968" />
-<TGConnectingPoint num="60" id="3969" />
-<TGConnectingPoint num="61" id="3970" />
-<TGConnectingPoint num="62" id="3971" />
-<TGConnectingPoint num="63" id="3972" />
-<TGConnectingPoint num="64" id="3973" />
-<TGConnectingPoint num="65" id="3974" />
-<TGConnectingPoint num="66" id="3975" />
-<TGConnectingPoint num="67" id="3976" />
-<TGConnectingPoint num="68" id="3977" />
-<TGConnectingPoint num="69" id="3978" />
-<TGConnectingPoint num="70" id="3979" />
-<TGConnectingPoint num="71" id="3980" />
-<color value="-3342490" />
-<tags value="" />
-<extraparam>
-</extraparam>
-</COMPONENT>
-
-<COMPONENT type="5106" id="3835" index="5" uid="6cbbd2af-fdbc-4bb6-87f0-565fb5b65f6a" >
-<cdparam x="337" y="257" />
-<sizeparam width="50" height="30" minWidth="40" minHeight="30" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" />
-<hidden value="false" />
-<enabled value="true" />
-<cdrectangleparam minX="10" maxX="2500" minY="10" maxY="1500" />
-<infoparam name="state" value="main" />
-<new d="false" />
-<TGConnectingPoint num="0" id="3836" />
-<TGConnectingPoint num="1" id="3837" />
-<TGConnectingPoint num="2" id="3838" />
-<TGConnectingPoint num="3" id="3839" />
-<TGConnectingPoint num="4" id="3840" />
-<TGConnectingPoint num="5" id="3841" />
-<TGConnectingPoint num="6" id="3842" />
-<TGConnectingPoint num="7" id="3843" />
-<TGConnectingPoint num="8" id="3844" />
-<TGConnectingPoint num="9" id="3845" />
-<TGConnectingPoint num="10" id="3846" />
-<TGConnectingPoint num="11" id="3847" />
-<TGConnectingPoint num="12" id="3848" />
-<TGConnectingPoint num="13" id="3849" />
-<TGConnectingPoint num="14" id="3850" />
-<TGConnectingPoint num="15" id="3851" />
-<TGConnectingPoint num="16" id="3852" />
-<TGConnectingPoint num="17" id="3853" />
-<TGConnectingPoint num="18" id="3854" />
-<TGConnectingPoint num="19" id="3855" />
-<TGConnectingPoint num="20" id="3856" />
-<TGConnectingPoint num="21" id="3857" />
-<TGConnectingPoint num="22" id="3858" />
-<TGConnectingPoint num="23" id="3859" />
-<TGConnectingPoint num="24" id="3860" />
-<TGConnectingPoint num="25" id="3861" />
-<TGConnectingPoint num="26" id="3862" />
-<TGConnectingPoint num="27" id="3863" />
-<TGConnectingPoint num="28" id="3864" />
-<TGConnectingPoint num="29" id="3865" />
-<TGConnectingPoint num="30" id="3866" />
-<TGConnectingPoint num="31" id="3867" />
-<TGConnectingPoint num="32" id="3868" />
-<TGConnectingPoint num="33" id="3869" />
-<TGConnectingPoint num="34" id="3870" />
-<TGConnectingPoint num="35" id="3871" />
-<TGConnectingPoint num="36" id="3872" />
-<TGConnectingPoint num="37" id="3873" />
-<TGConnectingPoint num="38" id="3874" />
-<TGConnectingPoint num="39" id="3875" />
-<TGConnectingPoint num="40" id="3876" />
-<TGConnectingPoint num="41" id="3877" />
-<TGConnectingPoint num="42" id="3878" />
-<TGConnectingPoint num="43" id="3879" />
-<TGConnectingPoint num="44" id="3880" />
-<TGConnectingPoint num="45" id="3881" />
-<TGConnectingPoint num="46" id="3882" />
-<TGConnectingPoint num="47" id="3883" />
-<TGConnectingPoint num="48" id="3884" />
-<TGConnectingPoint num="49" id="3885" />
-<TGConnectingPoint num="50" id="3886" />
-<TGConnectingPoint num="51" id="3887" />
-<TGConnectingPoint num="52" id="3888" />
-<TGConnectingPoint num="53" id="3889" />
-<TGConnectingPoint num="54" id="3890" />
-<TGConnectingPoint num="55" id="3891" />
-<TGConnectingPoint num="56" id="3892" />
-<TGConnectingPoint num="57" id="3893" />
-<TGConnectingPoint num="58" id="3894" />
-<TGConnectingPoint num="59" id="3895" />
-<TGConnectingPoint num="60" id="3896" />
-<TGConnectingPoint num="61" id="3897" />
-<TGConnectingPoint num="62" id="3898" />
-<TGConnectingPoint num="63" id="3899" />
-<TGConnectingPoint num="64" id="3900" />
-<TGConnectingPoint num="65" id="3901" />
-<TGConnectingPoint num="66" id="3902" />
-<TGConnectingPoint num="67" id="3903" />
-<TGConnectingPoint num="68" id="3904" />
-<TGConnectingPoint num="69" id="3905" />
-<TGConnectingPoint num="70" id="3906" />
-<TGConnectingPoint num="71" id="3907" />
-<color value="-4072719" />
-<tags value="" />
-<extraparam>
-</extraparam>
-</COMPONENT>
-
-<COMPONENT type="5100" id="3833" index="6" uid="ee610120-b2db-487b-9707-0467a7dca097" >
-<cdparam x="355" y="81" />
-<sizeparam width="15" height="15" minWidth="0" minHeight="0" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" />
-<hidden value="false" />
-<cdrectangleparam minX="10" maxX="2500" minY="10" maxY="1500" />
-<infoparam name="start state" value="null" />
-<new d="false" />
-<TGConnectingPoint num="0" id="3834" />
-<tags value="" />
-</COMPONENT>
-
-
-</AVATARStateMachineDiagramPanel>
-
-<AVATARStateMachineDiagramPanel name="CoffeeButton" minX="10" maxX="2500" minY="10" maxY="1500" zoom="1.0" >
-<CONNECTOR type="5102" id="4311" index="0" uid="e96039b8-5d96-42ad-8bdd-96efe6137cd6" >
-<cdparam x="363" y="285" />
-<sizeparam width="0" height="0" minWidth="0" minHeight="0" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" />
-<infoparam name="connector" value="null" />
-<TGConnectingPoint num="0" id="4312" />
-<P1  x="363" y="285" id="4281" />
-<P2  x="399" y="352" id="4060" />
-<AutomaticDrawing  data="true" />
-<new d="false" />
-</CONNECTOR><SUBCOMPONENT type="-1" id="4313" index="-1" uid="72a05c98-2f5b-413f-b3e7-55576ba26bf3" >
-<father id="4311" num="0" />
-<cdparam x="397" y="313" />
-<sizeparam width="145" height="25" minWidth="0" minHeight="0" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" />
-<hidden value="false" />
-<enabled value="true" />
-<cdrectangleparam minX="10" maxX="2500" minY="10" maxY="1500" />
-<infoparam name="List of all parameters of an Avatar SMD transition" value="" />
-<new d="false" />
-<TGConnectingPoint num="0" id="4314" />
-<TGConnectingPoint num="1" id="4315" />
-<TGConnectingPoint num="2" id="4316" />
-<TGConnectingPoint num="3" id="4317" />
-<tags value="" />
-<extraparam>
-<guard value="[ ]" enabled="true"/>
-<afterMin value="mechanicalDelay" enabled="true"/>
-<afterMax value="mechanicalDelay" enabled="true"/>
-<extraDelay1 value="" enabled="true"/>
-<extraDelay2 value="" enabled="true"/>
-<delayDistributionLaw value="0" enabled="true"/>
-<computeMin value="" enabled="true"/>
-<computeMax value="" enabled="true"/>
-<probability value="" enabled="true"/>
-</extraparam>
-</SUBCOMPONENT>
-
-<CONNECTOR type="5102" id="4304" index="1" uid="a709b061-b5e3-4a11-b900-620576d01d5d" >
-<cdparam x="322" y="69" />
-<sizeparam width="0" height="0" minWidth="0" minHeight="0" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" />
-<infoparam name="connector" value="null" />
-<TGConnectingPoint num="0" id="4305" />
-<P1  x="322" y="69" id="4057" />
-<P2  x="322" y="88" id="4133" />
-<AutomaticDrawing  data="true" />
-<new d="false" />
-</CONNECTOR><SUBCOMPONENT type="-1" id="4306" index="-1" uid="acd8cf10-b5f8-45ff-983b-784879ad9738" >
-<father id="4304" num="0" />
-<cdparam x="322" y="109" />
-<sizeparam width="50" height="25" minWidth="0" minHeight="0" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" />
-<hidden value="false" />
-<enabled value="true" />
-<cdrectangleparam minX="10" maxX="2500" minY="10" maxY="1500" />
-<infoparam name="List of all parameters of an Avatar SMD transition" value="" />
-<new d="false" />
-<TGConnectingPoint num="0" id="4307" />
-<TGConnectingPoint num="1" id="4308" />
-<TGConnectingPoint num="2" id="4309" />
-<TGConnectingPoint num="3" id="4310" />
-<tags value="" />
-<extraparam>
-<guard value="[ ]" enabled="true"/>
-<afterMin value="" enabled="true"/>
-<afterMax value="" enabled="true"/>
-<extraDelay1 value="" enabled="true"/>
-<extraDelay2 value="" enabled="true"/>
-<delayDistributionLaw value="0" enabled="true"/>
-<computeMin value="" enabled="true"/>
-<computeMax value="" enabled="true"/>
-<probability value="" enabled="true"/>
-</extraparam>
-</SUBCOMPONENT>
-
-<CONNECTOR type="5102" id="4297" index="2" uid="83245099-8460-4479-8519-aa4df8fc8bad" >
-<cdparam x="340" y="233" />
-<sizeparam width="0" height="0" minWidth="0" minHeight="0" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" />
-<infoparam name="connector" value="null" />
-<TGConnectingPoint num="0" id="4298" />
-<P1  x="340" y="233" id="4278" />
-<P2  x="363" y="255" id="4280" />
-<AutomaticDrawing  data="true" />
-<new d="false" />
-</CONNECTOR><SUBCOMPONENT type="-1" id="4299" index="-1" uid="a95ce8c5-75c7-409c-8311-d78667322e97" >
-<father id="4297" num="0" />
-<cdparam x="177" y="239" />
-<sizeparam width="50" height="25" minWidth="0" minHeight="0" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" />
-<hidden value="false" />
-<enabled value="true" />
-<cdrectangleparam minX="10" maxX="2500" minY="10" maxY="1500" />
-<infoparam name="List of all parameters of an Avatar SMD transition" value="" />
-<new d="false" />
-<TGConnectingPoint num="0" id="4300" />
-<TGConnectingPoint num="1" id="4301" />
-<TGConnectingPoint num="2" id="4302" />
-<TGConnectingPoint num="3" id="4303" />
-<tags value="" />
-<extraparam>
-<guard value="[ ]" enabled="true"/>
-<afterMin value="" enabled="true"/>
-<afterMax value="" enabled="true"/>
-<extraDelay1 value="" enabled="true"/>
-<extraDelay2 value="" enabled="true"/>
-<delayDistributionLaw value="0" enabled="true"/>
-<computeMin value="" enabled="true"/>
-<computeMax value="" enabled="true"/>
-<probability value="" enabled="true"/>
-</extraparam>
-</SUBCOMPONENT>
-
-<CONNECTOR type="5102" id="4290" index="3" uid="4c015d38-3708-4706-98ee-6001e4102fdc" >
-<cdparam x="322" y="118" />
-<sizeparam width="0" height="0" minWidth="0" minHeight="0" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" />
-<infoparam name="connector" value="null" />
-<TGConnectingPoint num="0" id="4291" />
-<P1  x="322" y="118" id="4138" />
-<P2  x="356" y="174" id="4206" />
-<AutomaticDrawing  data="true" />
-<new d="false" />
-</CONNECTOR><SUBCOMPONENT type="-1" id="4292" index="-1" uid="ba0bca90-c305-4c64-a609-4cf18f450d37" >
-<father id="4290" num="0" />
-<cdparam x="377" y="184" />
-<sizeparam width="50" height="25" minWidth="0" minHeight="0" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" />
-<hidden value="false" />
-<enabled value="true" />
-<cdrectangleparam minX="10" maxX="2500" minY="10" maxY="1500" />
-<infoparam name="List of all parameters of an Avatar SMD transition" value="" />
-<new d="false" />
-<TGConnectingPoint num="0" id="4293" />
-<TGConnectingPoint num="1" id="4294" />
-<TGConnectingPoint num="2" id="4295" />
-<TGConnectingPoint num="3" id="4296" />
-<tags value="" />
-<extraparam>
-<guard value="[ ]" enabled="true"/>
-<afterMin value="" enabled="true"/>
-<afterMax value="" enabled="true"/>
-<extraDelay1 value="" enabled="true"/>
-<extraDelay2 value="" enabled="true"/>
-<delayDistributionLaw value="0" enabled="true"/>
-<computeMin value="" enabled="true"/>
-<computeMax value="" enabled="true"/>
-<probability value="" enabled="true"/>
-</extraparam>
-</SUBCOMPONENT>
-
-<COMPONENT type="5106" id="4204" index="4" uid="398503df-a6e0-46a7-9893-4b9aa3bb92cb" >
-<cdparam x="264" y="174" />
-<sizeparam width="184" height="130" minWidth="40" minHeight="30" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" />
-<hidden value="false" />
-<enabled value="true" />
-<cdrectangleparam minX="10" maxX="2500" minY="10" maxY="1500" />
-<infoparam name="state" value="state0" />
-<new d="false" />
-<TGConnectingPoint num="0" id="4205" />
-<TGConnectingPoint num="1" id="4206" />
-<TGConnectingPoint num="2" id="4207" />
-<TGConnectingPoint num="3" id="4208" />
-<TGConnectingPoint num="4" id="4209" />
-<TGConnectingPoint num="5" id="4210" />
-<TGConnectingPoint num="6" id="4211" />
-<TGConnectingPoint num="7" id="4212" />
-<TGConnectingPoint num="8" id="4213" />
-<TGConnectingPoint num="9" id="4214" />
-<TGConnectingPoint num="10" id="4215" />
-<TGConnectingPoint num="11" id="4216" />
-<TGConnectingPoint num="12" id="4217" />
-<TGConnectingPoint num="13" id="4218" />
-<TGConnectingPoint num="14" id="4219" />
-<TGConnectingPoint num="15" id="4220" />
-<TGConnectingPoint num="16" id="4221" />
-<TGConnectingPoint num="17" id="4222" />
-<TGConnectingPoint num="18" id="4223" />
-<TGConnectingPoint num="19" id="4224" />
-<TGConnectingPoint num="20" id="4225" />
-<TGConnectingPoint num="21" id="4226" />
-<TGConnectingPoint num="22" id="4227" />
-<TGConnectingPoint num="23" id="4228" />
-<TGConnectingPoint num="24" id="4229" />
-<TGConnectingPoint num="25" id="4230" />
-<TGConnectingPoint num="26" id="4231" />
-<TGConnectingPoint num="27" id="4232" />
-<TGConnectingPoint num="28" id="4233" />
-<TGConnectingPoint num="29" id="4234" />
-<TGConnectingPoint num="30" id="4235" />
-<TGConnectingPoint num="31" id="4236" />
-<TGConnectingPoint num="32" id="4237" />
-<TGConnectingPoint num="33" id="4238" />
-<TGConnectingPoint num="34" id="4239" />
-<TGConnectingPoint num="35" id="4240" />
-<TGConnectingPoint num="36" id="4241" />
-<TGConnectingPoint num="37" id="4242" />
-<TGConnectingPoint num="38" id="4243" />
-<TGConnectingPoint num="39" id="4244" />
-<TGConnectingPoint num="40" id="4245" />
-<TGConnectingPoint num="41" id="4246" />
-<TGConnectingPoint num="42" id="4247" />
-<TGConnectingPoint num="43" id="4248" />
-<TGConnectingPoint num="44" id="4249" />
-<TGConnectingPoint num="45" id="4250" />
-<TGConnectingPoint num="46" id="4251" />
-<TGConnectingPoint num="47" id="4252" />
-<TGConnectingPoint num="48" id="4253" />
-<TGConnectingPoint num="49" id="4254" />
-<TGConnectingPoint num="50" id="4255" />
-<TGConnectingPoint num="51" id="4256" />
-<TGConnectingPoint num="52" id="4257" />
-<TGConnectingPoint num="53" id="4258" />
-<TGConnectingPoint num="54" id="4259" />
-<TGConnectingPoint num="55" id="4260" />
-<TGConnectingPoint num="56" id="4261" />
-<TGConnectingPoint num="57" id="4262" />
-<TGConnectingPoint num="58" id="4263" />
-<TGConnectingPoint num="59" id="4264" />
-<TGConnectingPoint num="60" id="4265" />
-<TGConnectingPoint num="61" id="4266" />
-<TGConnectingPoint num="62" id="4267" />
-<TGConnectingPoint num="63" id="4268" />
-<TGConnectingPoint num="64" id="4269" />
-<TGConnectingPoint num="65" id="4270" />
-<TGConnectingPoint num="66" id="4271" />
-<TGConnectingPoint num="67" id="4272" />
-<TGConnectingPoint num="68" id="4273" />
-<TGConnectingPoint num="69" id="4274" />
-<TGConnectingPoint num="70" id="4275" />
-<TGConnectingPoint num="71" id="4276" />
-<color value="-4072719" />
-<tags value="" />
-<extraparam>
-</extraparam>
-</COMPONENT>
-<SUBCOMPONENT type="5103" id="4279" index="-1" uid="10806dd9-a9aa-4f6a-a632-18f4f52175f7" >
-<father id="4204" num="0" />
-<cdparam x="340" y="260" />
-<sizeparam width="46" height="20" minWidth="30" minHeight="0" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" />
-<hidden value="false" />
-<enabled value="true" />
-<cdrectangleparam minX="0" maxX="138" minY="0" maxY="110" />
-<infoparam name="Send signal" value="push()" />
-<new d="false" />
-<TGConnectingPoint num="0" id="4280" />
-<TGConnectingPoint num="1" id="4281" />
-<TGConnectingPoint num="2" id="4282" />
-<TGConnectingPoint num="3" id="4283" />
-<TGConnectingPoint num="4" id="4284" />
-<TGConnectingPoint num="5" id="4285" />
-<TGConnectingPoint num="6" id="4286" />
-<TGConnectingPoint num="7" id="4287" />
-<TGConnectingPoint num="8" id="4288" />
-<TGConnectingPoint num="9" id="4289" />
-<color value="-8342323" />
-<tags value="" />
-</SUBCOMPONENT>
-<SUBCOMPONENT type="5100" id="4277" index="-1" uid="be77bc95-0023-48b8-9a04-1448a0d152d6" >
-<father id="4204" num="1" />
-<cdparam x="333" y="213" />
-<sizeparam width="15" height="15" minWidth="0" minHeight="0" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" />
-<hidden value="false" />
-<cdrectangleparam minX="0" maxX="169" minY="0" maxY="115" />
-<infoparam name="start state" value="null" />
-<new d="false" />
-<TGConnectingPoint num="0" id="4278" />
-<tags value="" />
-</SUBCOMPONENT>
-
-<COMPONENT type="5106" id="4131" index="5" uid="00666593-dec0-4570-a19a-9ca00a96c1ff" >
-<cdparam x="297" y="88" />
-<sizeparam width="50" height="30" minWidth="40" minHeight="30" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" />
-<hidden value="false" />
-<enabled value="true" />
-<cdrectangleparam minX="10" maxX="2500" minY="10" maxY="1500" />
-<infoparam name="state" value="main" />
-<new d="false" />
-<TGConnectingPoint num="0" id="4132" />
-<TGConnectingPoint num="1" id="4133" />
-<TGConnectingPoint num="2" id="4134" />
-<TGConnectingPoint num="3" id="4135" />
-<TGConnectingPoint num="4" id="4136" />
-<TGConnectingPoint num="5" id="4137" />
-<TGConnectingPoint num="6" id="4138" />
-<TGConnectingPoint num="7" id="4139" />
-<TGConnectingPoint num="8" id="4140" />
-<TGConnectingPoint num="9" id="4141" />
-<TGConnectingPoint num="10" id="4142" />
-<TGConnectingPoint num="11" id="4143" />
-<TGConnectingPoint num="12" id="4144" />
-<TGConnectingPoint num="13" id="4145" />
-<TGConnectingPoint num="14" id="4146" />
-<TGConnectingPoint num="15" id="4147" />
-<TGConnectingPoint num="16" id="4148" />
-<TGConnectingPoint num="17" id="4149" />
-<TGConnectingPoint num="18" id="4150" />
-<TGConnectingPoint num="19" id="4151" />
-<TGConnectingPoint num="20" id="4152" />
-<TGConnectingPoint num="21" id="4153" />
-<TGConnectingPoint num="22" id="4154" />
-<TGConnectingPoint num="23" id="4155" />
-<TGConnectingPoint num="24" id="4156" />
-<TGConnectingPoint num="25" id="4157" />
-<TGConnectingPoint num="26" id="4158" />
-<TGConnectingPoint num="27" id="4159" />
-<TGConnectingPoint num="28" id="4160" />
-<TGConnectingPoint num="29" id="4161" />
-<TGConnectingPoint num="30" id="4162" />
-<TGConnectingPoint num="31" id="4163" />
-<TGConnectingPoint num="32" id="4164" />
-<TGConnectingPoint num="33" id="4165" />
-<TGConnectingPoint num="34" id="4166" />
-<TGConnectingPoint num="35" id="4167" />
-<TGConnectingPoint num="36" id="4168" />
-<TGConnectingPoint num="37" id="4169" />
-<TGConnectingPoint num="38" id="4170" />
-<TGConnectingPoint num="39" id="4171" />
-<TGConnectingPoint num="40" id="4172" />
-<TGConnectingPoint num="41" id="4173" />
-<TGConnectingPoint num="42" id="4174" />
-<TGConnectingPoint num="43" id="4175" />
-<TGConnectingPoint num="44" id="4176" />
-<TGConnectingPoint num="45" id="4177" />
-<TGConnectingPoint num="46" id="4178" />
-<TGConnectingPoint num="47" id="4179" />
-<TGConnectingPoint num="48" id="4180" />
-<TGConnectingPoint num="49" id="4181" />
-<TGConnectingPoint num="50" id="4182" />
-<TGConnectingPoint num="51" id="4183" />
-<TGConnectingPoint num="52" id="4184" />
-<TGConnectingPoint num="53" id="4185" />
-<TGConnectingPoint num="54" id="4186" />
-<TGConnectingPoint num="55" id="4187" />
-<TGConnectingPoint num="56" id="4188" />
-<TGConnectingPoint num="57" id="4189" />
-<TGConnectingPoint num="58" id="4190" />
-<TGConnectingPoint num="59" id="4191" />
-<TGConnectingPoint num="60" id="4192" />
-<TGConnectingPoint num="61" id="4193" />
-<TGConnectingPoint num="62" id="4194" />
-<TGConnectingPoint num="63" id="4195" />
-<TGConnectingPoint num="64" id="4196" />
-<TGConnectingPoint num="65" id="4197" />
-<TGConnectingPoint num="66" id="4198" />
-<TGConnectingPoint num="67" id="4199" />
-<TGConnectingPoint num="68" id="4200" />
-<TGConnectingPoint num="69" id="4201" />
-<TGConnectingPoint num="70" id="4202" />
-<TGConnectingPoint num="71" id="4203" />
-<color value="-4072719" />
-<tags value="" />
-<extraparam>
-</extraparam>
-</COMPONENT>
-
-<COMPONENT type="5106" id="4058" index="6" uid="25ed2dea-17e4-493c-b007-598982823ae0" >
-<cdparam x="374" y="352" />
-<sizeparam width="50" height="30" minWidth="40" minHeight="30" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" />
-<hidden value="false" />
-<enabled value="true" />
-<cdrectangleparam minX="10" maxX="2500" minY="10" maxY="1500" />
-<infoparam name="state" value="main" />
-<new d="false" />
-<TGConnectingPoint num="0" id="4059" />
-<TGConnectingPoint num="1" id="4060" />
-<TGConnectingPoint num="2" id="4061" />
-<TGConnectingPoint num="3" id="4062" />
-<TGConnectingPoint num="4" id="4063" />
-<TGConnectingPoint num="5" id="4064" />
-<TGConnectingPoint num="6" id="4065" />
-<TGConnectingPoint num="7" id="4066" />
-<TGConnectingPoint num="8" id="4067" />
-<TGConnectingPoint num="9" id="4068" />
-<TGConnectingPoint num="10" id="4069" />
-<TGConnectingPoint num="11" id="4070" />
-<TGConnectingPoint num="12" id="4071" />
-<TGConnectingPoint num="13" id="4072" />
-<TGConnectingPoint num="14" id="4073" />
-<TGConnectingPoint num="15" id="4074" />
-<TGConnectingPoint num="16" id="4075" />
-<TGConnectingPoint num="17" id="4076" />
-<TGConnectingPoint num="18" id="4077" />
-<TGConnectingPoint num="19" id="4078" />
-<TGConnectingPoint num="20" id="4079" />
-<TGConnectingPoint num="21" id="4080" />
-<TGConnectingPoint num="22" id="4081" />
-<TGConnectingPoint num="23" id="4082" />
-<TGConnectingPoint num="24" id="4083" />
-<TGConnectingPoint num="25" id="4084" />
-<TGConnectingPoint num="26" id="4085" />
-<TGConnectingPoint num="27" id="4086" />
-<TGConnectingPoint num="28" id="4087" />
-<TGConnectingPoint num="29" id="4088" />
-<TGConnectingPoint num="30" id="4089" />
-<TGConnectingPoint num="31" id="4090" />
-<TGConnectingPoint num="32" id="4091" />
-<TGConnectingPoint num="33" id="4092" />
-<TGConnectingPoint num="34" id="4093" />
-<TGConnectingPoint num="35" id="4094" />
-<TGConnectingPoint num="36" id="4095" />
-<TGConnectingPoint num="37" id="4096" />
-<TGConnectingPoint num="38" id="4097" />
-<TGConnectingPoint num="39" id="4098" />
-<TGConnectingPoint num="40" id="4099" />
-<TGConnectingPoint num="41" id="4100" />
-<TGConnectingPoint num="42" id="4101" />
-<TGConnectingPoint num="43" id="4102" />
-<TGConnectingPoint num="44" id="4103" />
-<TGConnectingPoint num="45" id="4104" />
-<TGConnectingPoint num="46" id="4105" />
-<TGConnectingPoint num="47" id="4106" />
-<TGConnectingPoint num="48" id="4107" />
-<TGConnectingPoint num="49" id="4108" />
-<TGConnectingPoint num="50" id="4109" />
-<TGConnectingPoint num="51" id="4110" />
-<TGConnectingPoint num="52" id="4111" />
-<TGConnectingPoint num="53" id="4112" />
-<TGConnectingPoint num="54" id="4113" />
-<TGConnectingPoint num="55" id="4114" />
-<TGConnectingPoint num="56" id="4115" />
-<TGConnectingPoint num="57" id="4116" />
-<TGConnectingPoint num="58" id="4117" />
-<TGConnectingPoint num="59" id="4118" />
-<TGConnectingPoint num="60" id="4119" />
-<TGConnectingPoint num="61" id="4120" />
-<TGConnectingPoint num="62" id="4121" />
-<TGConnectingPoint num="63" id="4122" />
-<TGConnectingPoint num="64" id="4123" />
-<TGConnectingPoint num="65" id="4124" />
-<TGConnectingPoint num="66" id="4125" />
-<TGConnectingPoint num="67" id="4126" />
-<TGConnectingPoint num="68" id="4127" />
-<TGConnectingPoint num="69" id="4128" />
-<TGConnectingPoint num="70" id="4129" />
-<TGConnectingPoint num="71" id="4130" />
-<color value="-4072719" />
-<tags value="" />
-<extraparam>
-</extraparam>
-</COMPONENT>
-
-<COMPONENT type="5100" id="4056" index="7" uid="4036cb53-79ae-4279-96e9-f7d0b3747462" >
-<cdparam x="315" y="49" />
-<sizeparam width="15" height="15" minWidth="0" minHeight="0" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" />
-<hidden value="false" />
-<cdrectangleparam minX="10" maxX="2500" minY="10" maxY="1500" />
-<infoparam name="start state" value="null" />
-<new d="false" />
-<TGConnectingPoint num="0" id="4057" />
-<tags value="" />
-</COMPONENT>
-
-
-</AVATARStateMachineDiagramPanel>
-
-</Modeling>
-
-
-
-
 </TURTLEGMODELING>
\ No newline at end of file
diff --git a/src/main/java/avatartranslator/AvatarElement.java b/src/main/java/avatartranslator/AvatarElement.java
index df32a8ca2..bb9d644e3 100644
--- a/src/main/java/avatartranslator/AvatarElement.java
+++ b/src/main/java/avatartranslator/AvatarElement.java
@@ -101,6 +101,14 @@ public class AvatarElement implements NameChecker.NamedElement, CanBeTagged {
         return characteristics.get(characteristic);
     }
 
+    public boolean isTrueCharacteristic(String characteristic) {
+        if (characteristics == null) {
+            return false;
+        }
+
+        return characteristics.get(characteristic).toLowerCase().compareTo("true") == 0;
+    }
+
     public void clearReferenceObject() {
         referenceObject = null;
     }
diff --git a/src/main/java/ui/AvatarDesignPanelTranslator.java b/src/main/java/ui/AvatarDesignPanelTranslator.java
index 75f50c1d8..7890d9a0f 100644
--- a/src/main/java/ui/AvatarDesignPanelTranslator.java
+++ b/src/main/java/ui/AvatarDesignPanelTranslator.java
@@ -2007,6 +2007,10 @@ public class AvatarDesignPanelTranslator {
         if (tgc.hasCheckedAccessibility())
             stateElement.setChecked();
 
+        if (tgc.getCheckableInvariant()) {
+            stateElement.addCharacteristics("invariant", "true");
+        }
+
         // Issue #69
         if (tgc.isEnabled()) {
             final AvatarState state = (AvatarState) stateElement;
diff --git a/src/main/java/ui/AvatarPanelDrawer.java b/src/main/java/ui/AvatarPanelDrawer.java
index f643fa1da..299946198 100644
--- a/src/main/java/ui/AvatarPanelDrawer.java
+++ b/src/main/java/ui/AvatarPanelDrawer.java
@@ -934,6 +934,9 @@ public class AvatarPanelDrawer {
 			if (asme.isCheckable() && asme.isChecked()) {
 				smdstate.setCheckableAccessibility(asme.isChecked());
 			}
+			if (asme.isTrueCharacteristic("invariant")) {
+				smdstate.setCheckableInvariant(true);
+			}
 			smdstate.setCheckLatency(((AvatarState) asme).getCheckLatency());
 			tgcomp = smdstate;
 			smp.addComponent(smdstate, newX, newY, false, true);
@@ -959,6 +962,9 @@ public class AvatarPanelDrawer {
 								smp.getMaxY(), false, null, smp);
 						//tgcomp = smdstate;
 						smdstateBis.setCheckableAccessibility(((AvatarState) asme).getCheckLatency());
+						if (asme.isTrueCharacteristic("invariant")) {
+							smdstateBis.setCheckableInvariant(true);
+						}
 						newTGCToAvatarElement.put(smdstateBis, asme);
 						newTGCToOldOne.put(smdstateBis, tmpT);
 						smp.addComponent(smdstateBis, tmpT.getX(), tmpT.getY(), false, true);
-- 
GitLab