diff --git a/build.num b/build.num
index 7379a71..bd79d36 100644
--- a/build.num
+++ b/build.num
@@ -1,3 +1,3 @@
 #Build Number for ANT. Do not edit!
-#Thu Nov 28 04:54:24 CET 2013
-build.number=12
+#Sun Feb 02 19:03:28 CET 2014
+build.number=13