Update Equinox launcher JAR version

Author: schuessf

releaseScripts/default/adds/run-ultimate.sh

@@ -4,6 +4,6 @@ java \
 -Dosgi.configuration.area=config/ \
 -Xmx10G \
 -Xss4m \
--jar plugins/org.eclipse.equinox.launcher_1.7.100.v20251111-0406.jar \
+-jar plugins/org.eclipse.equinox.launcher_1.8.0.v20260804-1928.jar \
 -data config/data \
 "$@"

releaseScripts/website-config/backend/WebBackend.ini

@@ -1,5 +1,5 @@
 -startup
-plugins/org.eclipse.equinox.launcher_1.7.100.v20251111-0406.jar
+plugins/org.eclipse.equinox.launcher_1.8.0.v20260804-1928.jar
 --launcher.library
 plugins/org.eclipse.equinox.launcher.gtk.linux.x86_64_1.2.1500.v20250801-0854
 -nosplash

trunk/source/WebsiteStatic/scripts/webinterface/externals.py

@@ -16,7 +16,7 @@ def get_ultimate_cli() -> list[str]:
     jar = (
         ult_bin.parent
         / "plugins"
-        / "org.eclipse.equinox.launcher_1.7.100.v20251111-0406.jar"
+        / "org.eclipse.equinox.launcher_1.8.0.v20260804-1928.jar"
     )
     datadir = ult_bin.parent / "data"
     return [