diff --git a/README.md b/README.md
new file mode 100644
index 0000000000000000000000000000000000000000..6ef97a9084eaa6e6a0240059de4bbdff65a35225
--- /dev/null
+++ b/README.md
@@ -0,0 +1,8 @@
+# Rodin B AST
+
+This repository contains a standalone version of the Rodin AST. It is used within the ProB tool.
+
+No original file is changed, but we added this README and the build.gradle.
+
+Note to future Jens:
+After updating the sources the ```gradle patch``` task must be run. This modifies the sources. **Do not run the task multiple times!**
diff --git a/build.gradle b/build.gradle
index dd4f83719bd00dfb22a2395c1bc3dbe38cd89ca4..c649977454db87ab97d3a33c584921bff054a384 100644
--- a/build.gradle
+++ b/build.gradle
@@ -43,27 +43,27 @@ task tom() << {
 }
 
 task patch() << {
-  def patch_content = """
-  --- rodin-ast/src/org/eventb/internal/core/parser/SubParsers.java	2015-08-06 12:29:24.000000000 +0200
-  +++ rodin-b-sharp-rodincore/org.eventb.core.ast/src/org/eventb/internal/core/parser/SubParsers.java	2015-08-06 12:42:32.000000000 +0200
+  def patch_content = """diff --git a/src/org/eventb/internal/core/parser/SubParsers.java b/src/org/eventb/internal/core/parser/SubParsers.java
+  index e71bf08..0977da1 100644
+  --- a/src/org/eventb/internal/core/parser/SubParsers.java
+  +++ b/src/org/eventb/internal/core/parser/SubParsers.java
   @@ -492,7 +492,7 @@ public class SubParsers {
 
    	};
 
-  -	public static class BoundIdentDeclSubParser extends ValuedNudParser<org.eventb.core.ast.BoundIdentDecl> {
-  +	public static class BoundIdentDeclSubParser extends ValuedNudParser<BoundIdentDecl> {
+  -	public static class BoundIdentDeclSubParser extends ValuedNudParser<BoundIdentDecl> {
+  +	public static class BoundIdentDeclSubParser extends ValuedNudParser<org.eventb.core.ast.BoundIdentDecl> {
 
    		@Override
    		protected int getKind(AbstractGrammar grammar) {
-
-  """
+"""
   File p = file("SubParsers.patch")
+  p.delete();
   p << patch_content
   ant.patch(patchfile: 'SubParsers.patch', originalfile: 'src/org/eventb/internal/core/parser/SubParsers.java', failonerror:'true' )
 }
 
 
-
 compileJava {
   dependsOn << 'tom'
 }