diff --git a/build.number b/build.number
index eb7d6c83..6bc4a40b 100644
--- a/build.number
+++ b/build.number
@@ -1,3 +1,3 @@
 #Build Number for ANT. Do not edit!
-#Wed Jul 11 10:37:59 CAT 2018
-build.number=502
+#Wed Jul 11 12:06:53 CAT 2018
+build.number=503