diff --git a/build.xml b/build.xml
index 69279f89..449c4576 100644
--- a/build.xml
+++ b/build.xml
@@ -171,6 +171,7 @@
+
@@ -2350,6 +2351,7 @@
+
@@ -4528,8 +4530,7 @@
-
-
+
@@ -4790,8 +4791,7 @@
-
-
+
@@ -5128,8 +5128,7 @@
-
-
+
@@ -5876,8 +5875,7 @@
-
-
+
diff --git a/samples/fitch/build.xml b/samples/fitch/build.xml
index 624bfe3a..025715dc 100644
--- a/samples/fitch/build.xml
+++ b/samples/fitch/build.xml
@@ -1529,8 +1529,7 @@
-
-
+
diff --git a/samples/lambdacalc/build.xml b/samples/lambdacalc/build.xml
index b6706771..9f2f6840 100644
--- a/samples/lambdacalc/build.xml
+++ b/samples/lambdacalc/build.xml
@@ -513,8 +513,7 @@
-
-
+
diff --git a/samples/mpscore/build.xml b/samples/mpscore/build.xml
index cad696dd..96101ae9 100644
--- a/samples/mpscore/build.xml
+++ b/samples/mpscore/build.xml
@@ -3228,8 +3228,7 @@
-
-
+
@@ -4338,8 +4337,7 @@
-
-
+
@@ -4427,8 +4425,7 @@
-
-
+
@@ -4513,8 +4510,7 @@
-
-
+
@@ -4719,8 +4715,7 @@
-
-
+
@@ -5168,8 +5163,7 @@
-
-
+
@@ -5372,8 +5366,7 @@
-
-
+