diff --git a/build.num b/build.num
index 58927c2..b9d93c0 100644
--- a/build.num
+++ b/build.num
@@ -1,3 +1,3 @@
 #Build Number for ANT. Do not edit!
-#Sun Jan 28 11:21:45 CET 2018
-build.number=8
+#Sat May 19 10:36:41 CEST 2018
+build.number=9