Use committed patched ASTPlugin instead of making build.gradle patch it

README.md

@@ -2,7 +2,13 @@
 
 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:
+Almost all files in this repository are taken unmodified from the [rodincore/org.eventb.core.ast](https://sourceforge.net/p/rodin-b-sharp/rodincore/ci/master/tree/org.eventb.core.ast/) project.
+Only two files from the original sources have been modified:
+
+* .gitignore
+* src/org/eventb/internal/core/ast/ASTPlugin.java
+
+We also added the following files to support the Maven Central build/upload process:
 
 * .gitlab-ci.yml
 * README.md

build.gradle

@@ -33,19 +33,6 @@ task tom() {
 		) {
 			include(name: '**/*.t')
 		}
-
-		def plugin_code = """\
-package org.eventb.internal.core.ast;
-
-public class ASTPlugin {
-	public static String PLUGIN_ID = "who.cares";
-	public static void log(Object who, Object cares) {}
-}
-"""
-
-		File f = file('src/org/eventb/internal/core/ast/ASTPlugin.java')
-		f.delete()
-		f << plugin_code
 	}
 }