diff --git a/build.xml b/build.xml
index 8815b1db..ad420587 100644
--- a/build.xml
+++ b/build.xml
@@ -3657,7 +3657,6 @@
-
@@ -3701,7 +3700,6 @@
-
@@ -3778,7 +3776,6 @@
-
@@ -3833,7 +3830,6 @@
-
@@ -3903,7 +3899,6 @@
-
@@ -3985,7 +3980,6 @@
-
@@ -4049,7 +4043,6 @@
-
@@ -4158,7 +4151,6 @@
-
@@ -4251,7 +4243,6 @@
-
@@ -4339,7 +4330,6 @@
-
@@ -4426,7 +4416,6 @@
-
@@ -4520,7 +4509,6 @@
-
@@ -4603,7 +4591,6 @@
-
@@ -4694,7 +4681,6 @@
-
@@ -4772,7 +4758,6 @@
-
@@ -4863,7 +4848,6 @@
-
@@ -4962,7 +4946,6 @@
-
@@ -5034,7 +5017,6 @@
-
@@ -5128,7 +5110,6 @@
-
@@ -5208,7 +5189,6 @@
-
@@ -5276,7 +5256,6 @@
-
@@ -5352,7 +5331,6 @@
-
@@ -5435,7 +5413,6 @@
-
@@ -5522,7 +5499,6 @@
-
@@ -5602,7 +5578,6 @@
-
@@ -5682,6 +5657,7 @@
+
diff --git a/samples/fitch/build.xml b/samples/fitch/build.xml
index 850f27ab..7bb19c99 100644
--- a/samples/fitch/build.xml
+++ b/samples/fitch/build.xml
@@ -929,7 +929,6 @@
-
@@ -1010,7 +1009,6 @@
-
@@ -1075,7 +1073,6 @@
-
@@ -1172,7 +1169,6 @@
-
@@ -1238,7 +1234,6 @@
-
@@ -1336,7 +1331,6 @@
-
@@ -1403,7 +1397,6 @@
-
@@ -1500,7 +1493,6 @@
-
@@ -1570,7 +1562,6 @@
-
diff --git a/samples/lambdacalc/build.xml b/samples/lambdacalc/build.xml
index 794bf426..4a08f6c6 100644
--- a/samples/lambdacalc/build.xml
+++ b/samples/lambdacalc/build.xml
@@ -344,7 +344,6 @@
-
@@ -426,7 +425,6 @@
-
diff --git a/samples/mpscore/build.xml b/samples/mpscore/build.xml
index c000286d..97d41b58 100644
--- a/samples/mpscore/build.xml
+++ b/samples/mpscore/build.xml
@@ -10805,6 +10805,7 @@
+
@@ -10938,7 +10939,6 @@
-
@@ -11027,7 +11027,6 @@
-
@@ -11097,7 +11096,6 @@
-
@@ -11187,7 +11185,6 @@
-
@@ -11258,7 +11255,6 @@
-
@@ -11341,7 +11337,6 @@
-
@@ -11411,7 +11406,6 @@
-
@@ -11501,7 +11495,6 @@
-
@@ -11573,7 +11566,6 @@
-
@@ -11662,7 +11654,6 @@
-
@@ -11733,7 +11724,6 @@
-
@@ -11823,7 +11813,6 @@
-
@@ -11898,7 +11887,6 @@
-
@@ -11989,7 +11977,6 @@
-
@@ -12058,7 +12045,6 @@
-
@@ -12142,7 +12128,6 @@
-
@@ -12213,7 +12198,6 @@
-
@@ -12302,7 +12286,6 @@
-
@@ -12371,7 +12354,6 @@
-
@@ -12454,7 +12436,6 @@
-
@@ -12527,7 +12508,6 @@
-
@@ -12617,7 +12597,6 @@
-
@@ -12697,7 +12676,6 @@
-
@@ -12787,7 +12765,6 @@
-
@@ -12857,7 +12834,6 @@
-
@@ -12949,7 +12925,6 @@
-
@@ -13025,7 +13000,6 @@
-
@@ -13117,7 +13091,6 @@
-
@@ -13192,7 +13165,6 @@
-
@@ -13272,7 +13244,6 @@
-
@@ -13338,7 +13309,6 @@
-
@@ -13422,7 +13392,6 @@
-
@@ -13493,7 +13462,6 @@
-
@@ -13580,7 +13548,6 @@
-
@@ -13652,7 +13619,6 @@
-
@@ -13740,7 +13706,6 @@
-
@@ -13810,7 +13775,6 @@
-
@@ -13894,7 +13858,6 @@
-
@@ -13961,7 +13924,6 @@
-
@@ -13983,6 +13945,7 @@
+
@@ -14041,7 +14004,6 @@
-
@@ -14128,7 +14090,6 @@
-
@@ -14200,7 +14161,6 @@
-
@@ -14287,7 +14247,6 @@
-
@@ -14357,7 +14316,6 @@
-
@@ -14452,7 +14410,6 @@
-
@@ -14520,7 +14477,6 @@
-
@@ -14612,7 +14568,6 @@
-
@@ -14680,7 +14635,6 @@
-
@@ -14774,7 +14728,6 @@
-
@@ -14858,7 +14811,6 @@
-
@@ -14927,7 +14879,6 @@
-
@@ -15011,7 +14962,6 @@
-
@@ -15080,7 +15030,6 @@
-
@@ -15163,7 +15112,6 @@
-
@@ -15235,7 +15183,6 @@
-
@@ -15325,7 +15272,6 @@
-
@@ -15405,7 +15351,6 @@
-
@@ -15500,7 +15445,6 @@
-
@@ -15575,7 +15519,6 @@
-
@@ -15671,7 +15614,6 @@
-
@@ -15775,7 +15717,6 @@
-
@@ -15874,7 +15815,6 @@
-
@@ -15971,7 +15911,6 @@
-
@@ -16066,7 +16005,6 @@
-
@@ -16165,7 +16103,6 @@
-
@@ -16245,6 +16182,7 @@
+