diff --git a/build.xml b/build.xml
index 66bed83f..a81273bf 100644
--- a/build.xml
+++ b/build.xml
@@ -4325,17 +4325,17 @@
-
-
-
-
-
-
-
-
-
-
-
+
+
+
+
+
+
+
+
+
+
+
@@ -5105,17 +5105,17 @@
-
-
-
-
-
-
-
-
-
-
-
+
+
+
+
+
+
+
+
+
+
+
@@ -5354,17 +5354,17 @@
-
-
-
-
-
-
-
-
-
-
-
+
+
+
+
+
+
+
+
+
+
+
@@ -6129,17 +6129,17 @@
-
-
-
-
-
-
-
-
-
-
-
+
+
+
+
+
+
+
+
+
+
+
@@ -6305,6 +6305,7 @@
+
diff --git a/samples/fitch/build.xml b/samples/fitch/build.xml
index 9fc57fc1..2100cde9 100644
--- a/samples/fitch/build.xml
+++ b/samples/fitch/build.xml
@@ -1664,17 +1664,17 @@
-
-
-
-
-
-
-
-
-
-
-
+
+
+
+
+
+
+
+
+
+
+
@@ -1837,6 +1837,7 @@
+
diff --git a/samples/lambdacalc/build.xml b/samples/lambdacalc/build.xml
index 562d0af0..d6c1d9ca 100644
--- a/samples/lambdacalc/build.xml
+++ b/samples/lambdacalc/build.xml
@@ -573,17 +573,17 @@
-
-
-
-
-
-
-
-
-
-
-
+
+
+
+
+
+
+
+
+
+
+
@@ -748,6 +748,7 @@
+
diff --git a/samples/mpscore/build.xml b/samples/mpscore/build.xml
index 1209764e..5f622061 100644
--- a/samples/mpscore/build.xml
+++ b/samples/mpscore/build.xml
@@ -14766,17 +14766,17 @@
-
-
-
-
-
-
-
-
-
-
-
+
+
+
+
+
+
+
+
+
+
+
@@ -14869,17 +14869,17 @@
-
-
-
-
-
-
-
-
-
-
-
+
+
+
+
+
+
+
+
+
+
+
@@ -14969,17 +14969,17 @@
-
-
-
-
-
-
-
-
-
-
-
+
+
+
+
+
+
+
+
+
+
+
@@ -15064,17 +15064,17 @@
-
-
-
-
-
-
-
-
-
-
-
+
+
+
+
+
+
+
+
+
+
+
@@ -15159,17 +15159,17 @@
-
-
-
-
-
-
-
-
-
-
-
+
+
+
+
+
+
+
+
+
+
+
@@ -15249,17 +15249,17 @@
-
-
-
-
-
-
-
-
-
-
-
+
+
+
+
+
+
+
+
+
+
+
@@ -15344,17 +15344,17 @@
-
-
-
-
-
-
-
-
-
-
-
+
+
+
+
+
+
+
+
+
+
+
@@ -15522,6 +15522,7 @@
+