From 12078e6ec5fa40354dd42989c16483b40f7e5b59 Mon Sep 17 00:00:00 2001
From: Sam Brannen <sam@sambrannen.com>
Date: Sat, 4 Nov 2023 14:32:34 +0100
Subject: [PATCH] Ensure Java runtime container is always properly configured
 in Eclipse

---
 gradle/ide.gradle | 1 +
 1 file changed, 1 insertion(+)

diff --git a/gradle/ide.gradle b/gradle/ide.gradle
index 2dcc141e81..316d7634fc 100644
--- a/gradle/ide.gradle
+++ b/gradle/ide.gradle
@@ -7,6 +7,7 @@ apply plugin: 'eclipse'
 eclipse.jdt {
 	sourceCompatibility = 17
 	targetCompatibility = 17
+	javaRuntimeName = "JavaSE-17"
 }
 
 // Replace classpath entries with project dependencies (GRADLE-1116)