--- build.xml.orig	2016-06-15 07:10:15.000000000 -0300
+++ build.xml	2016-07-14 11:15:43.670818231 -0300
@@ -79,7 +79,7 @@
     <copy todir="${java}"><fileset dir="${src}"></fileset></copy>
     <replace file="${java}/java_cup/version.java"
        token="+ version_str"
-       value='+ "v0.11b ${cupversion} (GIT ${svnversion})"'>
+       value='+ "v0.11b ${cupversion}"'>
     </replace>
     <javac srcdir="${java}" destdir="${classes}" verbose="off" listfiles="off" debug="on" source="1.8" target="1.8">
       <classpath refid="libraries"/>