--- build.xml.patch1 2017-01-02 20:31:13.289502203 +0100
+++ build.xml 2017-01-02 20:46:47.217403900 +0100
@@ -37,6 +37,11 @@
+
+
+
+
+
@@ -221,7 +226,7 @@ Build-Date: ${build.tstamp}
-
@@ -264,7 +269,7 @@ Build-Date: ${build.tstamp}
-
@@ -287,8 +292,8 @@ Build-Date: ${build.tstamp}
-
@@ -325,6 +330,7 @@ Build-Date: ${build.tstamp}
+
+
+