diff --git a/build.num b/build.num
index ba33a9b..57a32b8 100644
--- a/build.num
+++ b/build.num
@@ -1,3 +1,3 @@
 #Build Number for ANT. Do not edit!
-#Fri May 03 15:06:54 CEST 2019
-build.number=19
+#Fri May 03 17:33:54 CEST 2019
+build.number=20