From 9e4c993bfeb431474dbbe24b147503ec7526e6d8 Mon Sep 17 00:00:00 2001
From: Ben Soares <b.soares@dundee.ac.uk>
Date: Fri, 18 Aug 2023 11:25:35 +0100
Subject: [PATCH 1/1] JAL-3847 Some attempts to fix a few eclipse import
 problems

---
 .settings/org.eclipse.buildship.core.prefs      |    4 ++--
 build.gradle                                    |   13 +++++++++++++
 gradle.properties                               |    1 +
 utils/eclipse/org.eclipse.buildship.core.prefs  |   13 +++++++++++++
 utils/eclipse/org.eclipse.jdt.groovy.core.prefs |    2 +-
 5 files changed, 30 insertions(+), 3 deletions(-)
 create mode 100644 utils/eclipse/org.eclipse.buildship.core.prefs

diff --git a/.settings/org.eclipse.buildship.core.prefs b/.settings/org.eclipse.buildship.core.prefs
index e479558..a47c876 100644
--- a/.settings/org.eclipse.buildship.core.prefs
+++ b/.settings/org.eclipse.buildship.core.prefs
@@ -1,13 +1,13 @@
 arguments=
 auto.sync=false
 build.scans.enabled=false
-connection.gradle.distribution=GRADLE_DISTRIBUTION(WRAPPER)
+connection.gradle.distribution=GRADLE_DISTRIBUTION(VERSION(7.6.2))
 connection.project.dir=
 eclipse.preferences.version=1
 gradle.user.home=
 java.home=
 jvm.arguments=
 offline.mode=false
-override.workspace.settings=false
+override.workspace.settings=true
 show.console.view=false
 show.executions.view=false
diff --git a/build.gradle b/build.gradle
index 7ad6f99..f61eaa0 100644
--- a/build.gradle
+++ b/build.gradle
@@ -838,14 +838,27 @@ task eclipseGroovyCorePreferences(type: PropertiesFileTask) {
   }
 }
 
+task eclipseBuildshipCorePreferences(type: PropertiesFileTask) {
+  description = "Generate Eclipse additional settings"
+  def filename = "org.eclipse.buildship.core.prefs"
+  outputFile = "$projectDir/.settings/${filename}" as File
+  file {
+    withProperties {
+      it.load new FileInputStream("$projectDir/utils/eclipse/${filename}" as String)
+    }
+  }
+}
+
 task eclipseAllPreferences {
   dependsOn eclipseJdt
   dependsOn eclipseUIPreferences
   dependsOn eclipseGroovyCorePreferences
+  dependsOn eclipseBuildshipCorePreferences
 }
 
 eclipseUIPreferences.mustRunAfter eclipseJdt
 eclipseGroovyCorePreferences.mustRunAfter eclipseJdt
+eclipseBuildshipCorePreferences.mustRunAfter eclipseJdt
 
 /* end of eclipse preferences hack */
 
diff --git a/gradle.properties b/gradle.properties
index 547304f..b80934d 100644
--- a/gradle.properties
+++ b/gradle.properties
@@ -181,6 +181,7 @@ bamboo_getdown_channel_suffix = /latest/artifact/shared/getdown-channel
 
 eclipse_codestyle_file = utils/eclipse/JalviewCodeStyle.xml
 eclipse_extra_jdt_prefs_file = utils/eclipse/org.eclipse.jdt.core.jalview.prefs
+eclipse_extra_buildship_prefs_file = utils/eclipse/org.eclipse.buildship.core.prefs
 eclipse_project_name = jalview
 eclipse_bin_dir = bin
 eclipse_debug = false
diff --git a/utils/eclipse/org.eclipse.buildship.core.prefs b/utils/eclipse/org.eclipse.buildship.core.prefs
new file mode 100644
index 0000000..933a80c
--- /dev/null
+++ b/utils/eclipse/org.eclipse.buildship.core.prefs
@@ -0,0 +1,13 @@
+arguments=
+auto.sync=false
+build.scans.enabled=false
+connection.gradle.distribution=GRADLE_DISTRIBUTION(VERSION(7.6))
+connection.project.dir=
+eclipse.preferences.version=1
+gradle.user.home=
+java.home=
+jvm.arguments=
+offline.mode=false
+override.workspace.settings=true
+show.console.view=false
+show.executions.view=false
diff --git a/utils/eclipse/org.eclipse.jdt.groovy.core.prefs b/utils/eclipse/org.eclipse.jdt.groovy.core.prefs
index 09d843d..2665b53 100644
--- a/utils/eclipse/org.eclipse.jdt.groovy.core.prefs
+++ b/utils/eclipse/org.eclipse.jdt.groovy.core.prefs
@@ -1,2 +1,2 @@
 eclipse.preferences.version=1
-groovy.compiler.level=30
+groovy.compiler.level=50
-- 
1.7.10.2