diff --git a/build.num b/build.num
index 22676f3..64fc781 100644
--- a/build.num
+++ b/build.num
@@ -1,3 +1,3 @@
 #Build Number for ANT. Do not edit!
-#Sun Feb 02 19:24:25 CET 2014
-build.number=8
+#Tue Feb 04 23:38:04 CET 2014
+build.number=9