1 files changed, 0 insertions, 28 deletions

diff --git a/buildSrc/src/main/groovy/refinery-eclipse.gradle b/buildSrc/src/main/groovy/refinery-eclipse.gradle
deleted file mode 100644
index 15dcb5ce..00000000
--- a/buildSrc/src/main/groovy/refinery-eclipse.gradle
+++ /dev/null
@@ -1,28 +0,0 @@
-plugins {
-        id 'eclipse'
-}
-
-// Workaround from https://github.com/gradle/gradle/issues/898#issuecomment-885765821
-def eclipseResourceEncoding = tasks.register('eclipseResourceEncoding') {
-        ext.outputFile = file('.settings/org.eclipse.core.resources.prefs')
-        def compileTask = tasks.findByName('compileJava')
-        ext.encoding = provider({ compileTask?.options?.encoding }).orElse(providers.systemProperty('file.encoding'))
-
-        inputs.property('file.encoding', encoding)
-        outputs.file(outputFile).withPropertyName('outputFile')
-
-        doLast {
-                Properties eclipseEncodingProperties =
-                                new Properties(Collections.singletonMap('eclipse.preferences.version', '1'))
-                eclipseEncodingProperties.put('encoding/<project>', encoding.get())
-                outputFile.withOutputStream {
-                        eclipseEncodingProperties.store(it, 'generated by ' + name)
-                }
-        }
-}
-
-tasks.named('eclipse') {
-        dependsOn(eclipseResourceEncoding)
-}
-
-eclipse.synchronizationTasks(eclipseResourceEncoding)