diff --git a/build.num b/build.num
index e05e694..6c8e9cf 100644
--- a/build.num
+++ b/build.num
@@ -1,3 +1,3 @@
 #Build Number for ANT. Do not edit!
-#Wed Dec 11 16:13:12 CET 2013
-build.number=6
+#Wed Dec 11 17:58:05 CET 2013
+build.number=7