diff --git a/build.xml b/build.xml
index 261b7217..54cda0f3 100644
--- a/build.xml
+++ b/build.xml
@@ -3899,6 +3899,7 @@
+
@@ -4153,6 +4154,7 @@
+
@@ -4403,6 +4405,7 @@
+
@@ -4730,6 +4733,7 @@
+
@@ -4904,6 +4908,7 @@
+
@@ -5356,6 +5361,7 @@
+
@@ -5545,7 +5551,7 @@
-
+
@@ -5580,15 +5586,13 @@
-
-
-
-
+
+
+
+
-
-
-
+
diff --git a/samples/fitch/build.xml b/samples/fitch/build.xml
index 8285592b..773fbbd4 100644
--- a/samples/fitch/build.xml
+++ b/samples/fitch/build.xml
@@ -948,6 +948,7 @@
+
@@ -1094,6 +1095,7 @@
+
@@ -1247,6 +1249,7 @@
+
@@ -1400,6 +1403,7 @@
+
@@ -1576,7 +1580,7 @@
-
+
@@ -1612,15 +1616,13 @@
-
-
-
-
+
+
+
+
-
-
-
+
diff --git a/samples/lambdacalc/build.xml b/samples/lambdacalc/build.xml
index 090ce2f9..1cb89490 100644
--- a/samples/lambdacalc/build.xml
+++ b/samples/lambdacalc/build.xml
@@ -362,6 +362,7 @@
+
@@ -469,7 +470,7 @@
-
+
@@ -506,15 +507,13 @@
-
-
-
-
+
+
+
+
-
-
-
+
diff --git a/samples/mpscore/build.xml b/samples/mpscore/build.xml
index 87051247..17ec6cfa 100644
--- a/samples/mpscore/build.xml
+++ b/samples/mpscore/build.xml
@@ -10963,6 +10963,7 @@
+
@@ -11113,6 +11114,7 @@
+
@@ -11257,6 +11259,7 @@
+
@@ -11407,6 +11410,7 @@
+
@@ -11558,6 +11562,7 @@
+
@@ -11709,6 +11714,7 @@
+
@@ -11864,6 +11870,7 @@
+
@@ -12008,6 +12015,7 @@
+
@@ -12158,6 +12166,7 @@
+
@@ -12300,6 +12309,7 @@
+
@@ -12453,6 +12463,7 @@
+
@@ -12613,6 +12624,7 @@
+
@@ -12766,6 +12778,7 @@
+
@@ -12922,6 +12935,7 @@
+
@@ -13070,6 +13084,7 @@
+
@@ -13208,6 +13223,7 @@
+
@@ -13353,6 +13369,7 @@
+
@@ -13503,6 +13520,7 @@
+
@@ -13650,6 +13668,7 @@
+
@@ -13789,6 +13808,7 @@
+
@@ -14015,6 +14035,7 @@
+
@@ -14169,6 +14190,7 @@
+
@@ -14321,6 +14343,7 @@
+
@@ -14473,6 +14496,7 @@
+
@@ -14554,6 +14578,7 @@
+
@@ -14697,6 +14722,7 @@
+
@@ -14839,6 +14865,7 @@
+
@@ -14991,6 +15018,7 @@
+
@@ -15152,6 +15180,7 @@
+
@@ -15899,7 +15928,7 @@
-
+
@@ -15934,15 +15963,13 @@
-
-
-
-
+
+
+
+
-
-
-
+