diff --git a/.gitignore b/.gitignore
index fcd94760efbbd8f2535da9515154b2e472aa41a1..298fcd4dec31b325457fc56c64c9198b045613cf 100644
--- a/.gitignore
+++ b/.gitignore
@@ -1,4 +1,6 @@
 /bin/
 /src/org/eventb/internal/core/typecheck/TypeUnifier.java
+.gradle
 SubParsers.patch
+build
 local.*
diff --git a/.gradle/2.4/taskArtifacts/cache.properties b/.gradle/2.4/taskArtifacts/cache.properties
deleted file mode 100644
index c9767b5595fbd84a5c26bae20ea2ed378bd506cc..0000000000000000000000000000000000000000
--- a/.gradle/2.4/taskArtifacts/cache.properties
+++ /dev/null
@@ -1 +0,0 @@
-#Thu Aug 06 10:04:40 CEST 2015
diff --git a/.gradle/2.4/taskArtifacts/cache.properties.lock b/.gradle/2.4/taskArtifacts/cache.properties.lock
deleted file mode 100644
index 31575229c9aa2d8a2d08a700069420837d4f7eec..0000000000000000000000000000000000000000
Binary files a/.gradle/2.4/taskArtifacts/cache.properties.lock and /dev/null differ
diff --git a/.gradle/2.4/taskArtifacts/fileHashes.bin b/.gradle/2.4/taskArtifacts/fileHashes.bin
deleted file mode 100644
index 0bb7d92cd005b3a28a043ee495db00c2c47b5847..0000000000000000000000000000000000000000
Binary files a/.gradle/2.4/taskArtifacts/fileHashes.bin and /dev/null differ
diff --git a/.gradle/2.4/taskArtifacts/fileSnapshots.bin b/.gradle/2.4/taskArtifacts/fileSnapshots.bin
deleted file mode 100644
index cbf8b591a5684807271756b23c2ca0abe3de7bcb..0000000000000000000000000000000000000000
Binary files a/.gradle/2.4/taskArtifacts/fileSnapshots.bin and /dev/null differ
diff --git a/.gradle/2.4/taskArtifacts/outputFileStates.bin b/.gradle/2.4/taskArtifacts/outputFileStates.bin
deleted file mode 100644
index 886c852afca593ebe4bd85d2f3283b1edc98d959..0000000000000000000000000000000000000000
Binary files a/.gradle/2.4/taskArtifacts/outputFileStates.bin and /dev/null differ
diff --git a/.gradle/2.4/taskArtifacts/taskArtifacts.bin b/.gradle/2.4/taskArtifacts/taskArtifacts.bin
deleted file mode 100644
index 9dc3d36e678fcf5d2f69f7cb61a51e5d51d69cb2..0000000000000000000000000000000000000000
Binary files a/.gradle/2.4/taskArtifacts/taskArtifacts.bin and /dev/null differ