diff --git a/tests/src/joram/build.xml b/tests/src/joram/build.xml
index d7c1e9febc70bea0e9bda2e9956b8905d3388ac8..d7ace59b85f47be3483a0e2e5852fc33f5db07fb 100644
--- a/tests/src/joram/build.xml
+++ b/tests/src/joram/build.xml
@@ -495,6 +495,7 @@
+
+
+
+
+
@@ -4945,6 +4950,17 @@
+
+
+
+
+
+
+
+
+
+
@@ -6491,26 +6507,92 @@
-
-
-
-
-
+
+
-
-
-
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+