diff --git a/build.xml b/build.xml
index 876840690..e08c15ec2 100644
--- a/build.xml
+++ b/build.xml
@@ -22,7 +22,7 @@
   <property name="testreport.dir" value="target/testreports"/>
   <property name="dist.dir" value="target/dist"/>
 
-  <property name="version" value="3.0" />
+  <property name="version" value="3.1" />
 
   <path id="build.classpath">
     <pathelement location="${antlr.jar}" />