diff --git a/README.md b/README.md
index f9ad6ee9e3b92b12a011b948ed939a7a95f39024..e78b87b71e445c3b2f01884c4fdd7967e1c16bd6 100644
--- a/README.md
+++ b/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
diff --git a/build.gradle b/build.gradle
index cf6e978fa333d645fe13b01f465c3fef31b9632b..9034a5eca1e6fff4ac91b2344eb07c6a59678157 100644
--- a/build.gradle
+++ b/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
 	}
 }