Upgrade to Java-17 + Eclipse 2023-12

lip6 · Dec 12, 2023 · be4a296 · be4a296
1 parent 0e717b0
commit be4a296
Show file tree

Hide file tree

Showing 45 changed files with 61 additions and 61 deletions.
diff --git a/application/core/.classpath b/application/core/.classpath
@@ -1,6 +1,6 @@
 <?xml version="1.0" encoding="UTF-8"?>
 <classpath>
-	<classpathentry kind="con" path="org.eclipse.jdt.launching.JRE_CONTAINER/org.eclipse.jdt.internal.debug.ui.launcher.StandardVMType/JavaSE-11"/>
+	<classpathentry kind="con" path="org.eclipse.jdt.launching.JRE_CONTAINER/org.eclipse.jdt.internal.debug.ui.launcher.StandardVMType/JavaSE-17"/>
 	<classpathentry kind="con" path="org.eclipse.pde.core.requiredPlugins"/>
 	<classpathentry kind="src" path="src/"/>
 	<classpathentry kind="output" path="target/classes"/>

diff --git a/application/core/META-INF/MANIFEST.MF b/application/core/META-INF/MANIFEST.MF
@@ -31,5 +31,5 @@ Require-Bundle: fr.lip6.move.coloane.interfaces,
  org.eclipse.ui.navigator.resources
 Plugin-Class: fr.lip6.move.coloane.core.main.Coloane
 Eclipse-LazyStart: true
-Bundle-RequiredExecutionEnvironment: JavaSE-11
+Bundle-RequiredExecutionEnvironment: JavaSE-17
 Bundle-ActivationPolicy: lazy
diff --git a/application/core/META-INF/SOURCE_MANIFEST.MF b/application/core/META-INF/SOURCE_MANIFEST.MF
@@ -4,5 +4,5 @@ Bundle-SymbolicName: %pluginName.source
 Bundle-Vendor: %providerName
 Bundle-Version: @@version@@
 Bundle-Localization: plugin
-Bundle-RequiredExecutionEnvironment: JavaSE-11
+Bundle-RequiredExecutionEnvironment: JavaSE-17
 Eclipse-SourceBundle: %pluginName;version="@@version@@"
diff --git a/application/interfaces/.classpath b/application/interfaces/.classpath
@@ -1,6 +1,6 @@
 <?xml version="1.0" encoding="UTF-8"?>
 <classpath>
-	<classpathentry kind="con" path="org.eclipse.jdt.launching.JRE_CONTAINER/org.eclipse.jdt.internal.debug.ui.launcher.StandardVMType/JavaSE-11"/>
+	<classpathentry kind="con" path="org.eclipse.jdt.launching.JRE_CONTAINER/org.eclipse.jdt.internal.debug.ui.launcher.StandardVMType/JavaSE-17"/>
 	<classpathentry kind="con" path="org.eclipse.pde.core.requiredPlugins"/>
 	<classpathentry kind="src" path="src/"/>
 	<classpathentry kind="output" path="target/classes"/>

diff --git a/application/interfaces/META-INF/MANIFEST.MF b/application/interfaces/META-INF/MANIFEST.MF
@@ -21,5 +21,5 @@ Require-Bundle: org.eclipse.jface,
  org.eclipse.core.runtime,
  org.eclipse.gef
 Bundle-ManifestVersion: 2
-Bundle-RequiredExecutionEnvironment: JavaSE-11
+Bundle-RequiredExecutionEnvironment: JavaSE-17
 Automatic-Module-Name: fr.lip6.move.coloane.interfaces
diff --git a/application/interfaces/META-INF/SOURCE_MANIFEST.MF b/application/interfaces/META-INF/SOURCE_MANIFEST.MF
@@ -4,5 +4,5 @@ Bundle-SymbolicName: %pluginName.source
 Bundle-Vendor: %providerName
 Bundle-Version: @@version@@
 Bundle-Localization: plugin
-Bundle-RequiredExecutionEnvironment: JavaSE-11
+Bundle-RequiredExecutionEnvironment: JavaSE-17
 Eclipse-SourceBundle: %pluginName;version="@@version@@"
diff --git a/extensions/PNexamples/.classpath b/extensions/PNexamples/.classpath
@@ -1,6 +1,6 @@
 <?xml version="1.0" encoding="UTF-8"?>
 <classpath>
-	<classpathentry kind="con" path="org.eclipse.jdt.launching.JRE_CONTAINER/org.eclipse.jdt.internal.debug.ui.launcher.StandardVMType/JavaSE-11"/>
+	<classpathentry kind="con" path="org.eclipse.jdt.launching.JRE_CONTAINER/org.eclipse.jdt.internal.debug.ui.launcher.StandardVMType/JavaSE-17"/>
 	<classpathentry kind="con" path="org.eclipse.pde.core.requiredPlugins"/>
 	<classpathentry kind="src" path="src/main/java/"/>
 	<classpathentry kind="src" path="src/main/resources/"/>

diff --git a/extensions/PNexamples/META-INF/MANIFEST.MF b/extensions/PNexamples/META-INF/MANIFEST.MF
@@ -9,4 +9,4 @@ Require-Bundle: fr.lip6.move.coloane.core,
  fr.lip6.move.coloane.interfaces
 Eclipse-LazyStart: true
 Bundle-ActivationPolicy: lazy
-Bundle-RequiredExecutionEnvironment: JavaSE-11
+Bundle-RequiredExecutionEnvironment: JavaSE-17
diff --git a/extensions/exportToDOT/.classpath b/extensions/exportToDOT/.classpath
@@ -1,6 +1,6 @@
 <?xml version="1.0" encoding="UTF-8"?>
 <classpath>
-	<classpathentry kind="con" path="org.eclipse.jdt.launching.JRE_CONTAINER/org.eclipse.jdt.internal.debug.ui.launcher.StandardVMType/JavaSE-11"/>
+	<classpathentry kind="con" path="org.eclipse.jdt.launching.JRE_CONTAINER/org.eclipse.jdt.internal.debug.ui.launcher.StandardVMType/JavaSE-17"/>
 	<classpathentry kind="con" path="org.eclipse.pde.core.requiredPlugins"/>
 	<classpathentry kind="src" path="src/"/>
 	<classpathentry kind="output" path="target/classes"/>

diff --git a/extensions/exportToDOT/META-INF/MANIFEST.MF b/extensions/exportToDOT/META-INF/MANIFEST.MF
@@ -9,4 +9,4 @@ Require-Bundle: fr.lip6.move.coloane.core,
 Eclipse-LazyStart: true
 Bundle-Vendor: LIP6 / MoVe
 Bundle-ActivationPolicy: lazy
-Bundle-RequiredExecutionEnvironment: JavaSE-11
+Bundle-RequiredExecutionEnvironment: JavaSE-17
diff --git a/extensions/exportToPGF/.classpath b/extensions/exportToPGF/.classpath
@@ -1,6 +1,6 @@
 <?xml version="1.0" encoding="UTF-8"?>
 <classpath>
-	<classpathentry kind="con" path="org.eclipse.jdt.launching.JRE_CONTAINER/org.eclipse.jdt.internal.debug.ui.launcher.StandardVMType/JavaSE-11"/>
+	<classpathentry kind="con" path="org.eclipse.jdt.launching.JRE_CONTAINER/org.eclipse.jdt.internal.debug.ui.launcher.StandardVMType/JavaSE-17"/>
 	<classpathentry kind="con" path="org.eclipse.pde.core.requiredPlugins"/>
 	<classpathentry kind="src" path="src/"/>
 	<classpathentry kind="output" path="target/classes"/>

diff --git a/extensions/exportToPGF/META-INF/MANIFEST.MF b/extensions/exportToPGF/META-INF/MANIFEST.MF
@@ -10,5 +10,5 @@ Require-Bundle: fr.lip6.move.coloane.core,
  fr.lip6.move.coloane.thirdparty
 Eclipse-LazyStart: true
 Bundle-ActivationPolicy: lazy
-Bundle-RequiredExecutionEnvironment: JavaSE-11
+Bundle-RequiredExecutionEnvironment: JavaSE-17
 Bundle-ClassPath: .
diff --git a/extensions/exportToSVG/.classpath b/extensions/exportToSVG/.classpath
@@ -1,6 +1,6 @@
 <?xml version="1.0" encoding="UTF-8"?>
 <classpath>
-	<classpathentry kind="con" path="org.eclipse.jdt.launching.JRE_CONTAINER/org.eclipse.jdt.internal.debug.ui.launcher.StandardVMType/JavaSE-11"/>
+	<classpathentry kind="con" path="org.eclipse.jdt.launching.JRE_CONTAINER/org.eclipse.jdt.internal.debug.ui.launcher.StandardVMType/JavaSE-17"/>
 	<classpathentry kind="con" path="org.eclipse.pde.core.requiredPlugins"/>
 	<classpathentry kind="src" path="src/main/java"/>
 	<classpathentry kind="output" path="target/classes"/>

diff --git a/extensions/exportToSVG/META-INF/MANIFEST.MF b/extensions/exportToSVG/META-INF/MANIFEST.MF
@@ -9,5 +9,5 @@ Require-Bundle: org.eclipse.draw2d,
  fr.lip6.move.coloane.interfaces,
  fr.lip6.move.coloane.thirdparty
 Bundle-ActivationPolicy: lazy
-Bundle-RequiredExecutionEnvironment: JavaSE-11
+Bundle-RequiredExecutionEnvironment: JavaSE-17
 Bundle-ClassPath: .
diff --git a/extensions/importExportCAMI/.classpath b/extensions/importExportCAMI/.classpath
@@ -1,6 +1,6 @@
 <?xml version="1.0" encoding="UTF-8"?>
 <classpath>
-	<classpathentry kind="con" path="org.eclipse.jdt.launching.JRE_CONTAINER/org.eclipse.jdt.internal.debug.ui.launcher.StandardVMType/JavaSE-11"/>
+	<classpathentry kind="con" path="org.eclipse.jdt.launching.JRE_CONTAINER/org.eclipse.jdt.internal.debug.ui.launcher.StandardVMType/JavaSE-17"/>
 	<classpathentry kind="con" path="org.eclipse.pde.core.requiredPlugins"/>
 	<classpathentry kind="src" path="src/"/>
 	<classpathentry kind="output" path="target/classes"/>

diff --git a/extensions/importExportCAMI/META-INF/MANIFEST.MF b/extensions/importExportCAMI/META-INF/MANIFEST.MF
@@ -9,6 +9,6 @@ Require-Bundle: fr.lip6.move.coloane.core,
 Eclipse-LazyStart: true
 Bundle-Vendor: LIP6 / MoVe
 Bundle-ActivationPolicy: lazy
-Bundle-RequiredExecutionEnvironment: JavaSE-11
+Bundle-RequiredExecutionEnvironment: JavaSE-17
 Export-Package: fr.lip6.move.coloane.extensions.importExportCAMI.exportToCAMI,
  fr.lip6.move.coloane.extensions.importExportCAMI.importFromCAMI
diff --git a/extensions/importExportLOLA/.classpath b/extensions/importExportLOLA/.classpath
@@ -1,6 +1,6 @@
 <?xml version="1.0" encoding="UTF-8"?>
 <classpath>
-	<classpathentry kind="con" path="org.eclipse.jdt.launching.JRE_CONTAINER/org.eclipse.jdt.internal.debug.ui.launcher.StandardVMType/JavaSE-11"/>
+	<classpathentry kind="con" path="org.eclipse.jdt.launching.JRE_CONTAINER/org.eclipse.jdt.internal.debug.ui.launcher.StandardVMType/JavaSE-17"/>
 	<classpathentry kind="con" path="org.eclipse.pde.core.requiredPlugins"/>
 	<classpathentry kind="src" path="src/main/java/"/>
 	<classpathentry kind="src" path="src/main/antlr3/"/>

diff --git a/extensions/importExportLOLA/META-INF/MANIFEST.MF b/extensions/importExportLOLA/META-INF/MANIFEST.MF
@@ -10,6 +10,6 @@ Require-Bundle: fr.lip6.move.coloane.core,
 Eclipse-LazyStart: true
 Bundle-Vendor: LIP6 / MoVe
 Bundle-ActivationPolicy: lazy
-Bundle-RequiredExecutionEnvironment: JavaSE-11
+Bundle-RequiredExecutionEnvironment: JavaSE-17
 Export-Package: fr.lip6.move.coloane.extensions.importExportLola
 Bundle-ClassPath: .
diff --git a/extensions/importExportPNML/.classpath b/extensions/importExportPNML/.classpath
@@ -1,6 +1,6 @@
 <?xml version="1.0" encoding="UTF-8"?>
 <classpath>
-	<classpathentry kind="con" path="org.eclipse.jdt.launching.JRE_CONTAINER/org.eclipse.jdt.internal.debug.ui.launcher.StandardVMType/JavaSE-11"/>
+	<classpathentry kind="con" path="org.eclipse.jdt.launching.JRE_CONTAINER/org.eclipse.jdt.internal.debug.ui.launcher.StandardVMType/JavaSE-17"/>
 	<classpathentry kind="con" path="org.eclipse.pde.core.requiredPlugins"/>
 	<classpathentry kind="src" path="src/"/>
 	<classpathentry kind="output" path="target/classes"/>

diff --git a/extensions/importExportPNML/META-INF/MANIFEST.MF b/extensions/importExportPNML/META-INF/MANIFEST.MF
@@ -17,5 +17,5 @@ Eclipse-LazyStart: true
 Bundle-Vendor: LIP6 / MoVe
 Bundle-ClassPath: .
 Bundle-ActivationPolicy: lazy
-Bundle-RequiredExecutionEnvironment: JavaSE-11
+Bundle-RequiredExecutionEnvironment: JavaSE-17
 
diff --git a/fragments/formalisms/automaton/.classpath b/fragments/formalisms/automaton/.classpath
@@ -1,6 +1,6 @@
 <?xml version="1.0" encoding="UTF-8"?>
 <classpath>
-	<classpathentry kind="con" path="org.eclipse.jdt.launching.JRE_CONTAINER/org.eclipse.jdt.internal.debug.ui.launcher.StandardVMType/JavaSE-11"/>
+	<classpathentry kind="con" path="org.eclipse.jdt.launching.JRE_CONTAINER/org.eclipse.jdt.internal.debug.ui.launcher.StandardVMType/JavaSE-17"/>
 	<classpathentry kind="con" path="org.eclipse.pde.core.requiredPlugins"/>
 	<classpathentry kind="src" path="src"/>
 	<classpathentry kind="output" path="target/classes"/>

diff --git a/fragments/formalisms/automaton/META-INF/MANIFEST.MF b/fragments/formalisms/automaton/META-INF/MANIFEST.MF
@@ -4,4 +4,4 @@ Bundle-Name: Automaton
 Bundle-SymbolicName: fr.lip6.move.coloane.fragments.formalisms.automaton;singleton:=true
 Bundle-Version: 1.1.0.qualifier
 Fragment-Host: fr.lip6.move.coloane.core;bundle-version="1.1.0"
-Bundle-RequiredExecutionEnvironment: JavaSE-11
+Bundle-RequiredExecutionEnvironment: JavaSE-17
diff --git a/fragments/formalisms/cosmos/.classpath b/fragments/formalisms/cosmos/.classpath
@@ -1,6 +1,6 @@
 <?xml version="1.0" encoding="UTF-8"?>
 <classpath>
-	<classpathentry kind="con" path="org.eclipse.jdt.launching.JRE_CONTAINER/org.eclipse.jdt.internal.debug.ui.launcher.StandardVMType/JavaSE-11"/>
+	<classpathentry kind="con" path="org.eclipse.jdt.launching.JRE_CONTAINER/org.eclipse.jdt.internal.debug.ui.launcher.StandardVMType/JavaSE-17"/>
 	<classpathentry kind="con" path="org.eclipse.pde.core.requiredPlugins"/>
 	<classpathentry kind="src" path="src/"/>
 	<classpathentry kind="output" path="target/classes"/>

diff --git a/fragments/formalisms/cosmos/META-INF/MANIFEST.MF b/fragments/formalisms/cosmos/META-INF/MANIFEST.MF
@@ -4,5 +4,5 @@ Bundle-Name: Cosmos
 Bundle-SymbolicName: fr.lip6.move.coloane.fragments.formalisms.cosmos;singleton:=true
 Bundle-Version: 1.1.0.qualifier
 Fragment-Host: fr.lip6.move.coloane.core
-Bundle-RequiredExecutionEnvironment: JavaSE-11
+Bundle-RequiredExecutionEnvironment: JavaSE-17
 Bundle-Vendor: LIP6 / LSV
diff --git a/fragments/formalisms/cosmosLHA/.classpath b/fragments/formalisms/cosmosLHA/.classpath
@@ -1,6 +1,6 @@
 <?xml version="1.0" encoding="UTF-8"?>
 <classpath>
-	<classpathentry kind="con" path="org.eclipse.jdt.launching.JRE_CONTAINER/org.eclipse.jdt.internal.debug.ui.launcher.StandardVMType/JavaSE-11"/>
+	<classpathentry kind="con" path="org.eclipse.jdt.launching.JRE_CONTAINER/org.eclipse.jdt.internal.debug.ui.launcher.StandardVMType/JavaSE-17"/>
 	<classpathentry kind="con" path="org.eclipse.pde.core.requiredPlugins"/>
 	<classpathentry kind="src" path="src/"/>
 	<classpathentry kind="output" path="target/classes"/>

diff --git a/fragments/formalisms/cosmosLHA/META-INF/MANIFEST.MF b/fragments/formalisms/cosmosLHA/META-INF/MANIFEST.MF
@@ -4,5 +4,5 @@ Bundle-Name: CosmosLHA
 Bundle-SymbolicName: fr.lip6.move.coloane.fragments.formalisms.cosmosLHA;singleton:=true
 Bundle-Version: 1.1.0.qualifier
 Fragment-Host: fr.lip6.move.coloane.core
-Bundle-RequiredExecutionEnvironment: JavaSE-11
+Bundle-RequiredExecutionEnvironment: JavaSE-17
 Bundle-Vendor: LIP6 / LSV
diff --git a/fragments/formalisms/dd/.classpath b/fragments/formalisms/dd/.classpath
@@ -1,6 +1,6 @@
 <?xml version="1.0" encoding="UTF-8"?>
 <classpath>
-	<classpathentry kind="con" path="org.eclipse.jdt.launching.JRE_CONTAINER/org.eclipse.jdt.internal.debug.ui.launcher.StandardVMType/JavaSE-11"/>
+	<classpathentry kind="con" path="org.eclipse.jdt.launching.JRE_CONTAINER/org.eclipse.jdt.internal.debug.ui.launcher.StandardVMType/JavaSE-17"/>
 	<classpathentry kind="con" path="org.eclipse.pde.core.requiredPlugins"/>
 	<classpathentry kind="src" path="src/"/>
 	<classpathentry kind="output" path="target/classes"/>

diff --git a/fragments/formalisms/dd/META-INF/MANIFEST.MF b/fragments/formalisms/dd/META-INF/MANIFEST.MF
@@ -5,4 +5,4 @@ Bundle-SymbolicName: fr.lip6.move.coloane.fragments.formalisms.dd;singleton:=tru
 Bundle-Version: 1.1.0.qualifier
 Bundle-Vendor: LIP6 / MoVe
 Fragment-Host: fr.lip6.move.coloane.core
-Bundle-RequiredExecutionEnvironment: JavaSE-11
+Bundle-RequiredExecutionEnvironment: JavaSE-17
diff --git a/fragments/formalisms/gspn/.classpath b/fragments/formalisms/gspn/.classpath
@@ -1,6 +1,6 @@
 <?xml version="1.0" encoding="UTF-8"?>
 <classpath>
-	<classpathentry kind="con" path="org.eclipse.jdt.launching.JRE_CONTAINER/org.eclipse.jdt.internal.debug.ui.launcher.StandardVMType/JavaSE-11"/>
+	<classpathentry kind="con" path="org.eclipse.jdt.launching.JRE_CONTAINER/org.eclipse.jdt.internal.debug.ui.launcher.StandardVMType/JavaSE-17"/>
 	<classpathentry kind="con" path="org.eclipse.pde.core.requiredPlugins"/>
 	<classpathentry kind="src" path="src/"/>
 	<classpathentry kind="output" path="target/classes"/>

diff --git a/fragments/formalisms/gspn/META-INF/MANIFEST.MF b/fragments/formalisms/gspn/META-INF/MANIFEST.MF
@@ -5,4 +5,4 @@ Bundle-SymbolicName: fr.lip6.move.coloane.fragments.formalisms.gspn;singleton:=t
 Bundle-Version: 1.1.0.qualifier
 Bundle-Vendor: LIP6 / MoVe
 Fragment-Host: fr.lip6.move.coloane.core
-Bundle-RequiredExecutionEnvironment: JavaSE-11
+Bundle-RequiredExecutionEnvironment: JavaSE-17
diff --git a/fragments/formalisms/pta/.classpath b/fragments/formalisms/pta/.classpath
@@ -1,6 +1,6 @@
 <?xml version="1.0" encoding="UTF-8"?>
 <classpath>
-	<classpathentry kind="con" path="org.eclipse.jdt.launching.JRE_CONTAINER/org.eclipse.jdt.internal.debug.ui.launcher.StandardVMType/JavaSE-11"/>
+	<classpathentry kind="con" path="org.eclipse.jdt.launching.JRE_CONTAINER/org.eclipse.jdt.internal.debug.ui.launcher.StandardVMType/JavaSE-17"/>
 	<classpathentry kind="con" path="org.eclipse.pde.core.requiredPlugins"/>
 	<classpathentry kind="src" path="src/"/>
 	<classpathentry kind="output" path="target/classes"/>

diff --git a/fragments/formalisms/pta/META-INF/MANIFEST.MF b/fragments/formalisms/pta/META-INF/MANIFEST.MF
@@ -4,4 +4,4 @@ Bundle-Name: Pta
 Bundle-SymbolicName: fr.lip6.move.coloane.fragments.formalisms.pta;singleton:=true
 Bundle-Version: 1.1.0.qualifier
 Fragment-Host: fr.lip6.move.coloane.core;bundle-version="1.1.0"
-Bundle-RequiredExecutionEnvironment: JavaSE-11
+Bundle-RequiredExecutionEnvironment: JavaSE-17
diff --git a/fragments/formalisms/snb/.classpath b/fragments/formalisms/snb/.classpath
@@ -1,6 +1,6 @@
 <?xml version="1.0" encoding="UTF-8"?>
 <classpath>
-	<classpathentry kind="con" path="org.eclipse.jdt.launching.JRE_CONTAINER/org.eclipse.jdt.internal.debug.ui.launcher.StandardVMType/JavaSE-11"/>
+	<classpathentry kind="con" path="org.eclipse.jdt.launching.JRE_CONTAINER/org.eclipse.jdt.internal.debug.ui.launcher.StandardVMType/JavaSE-17"/>
 	<classpathentry kind="con" path="org.eclipse.pde.core.requiredPlugins"/>
 	<classpathentry kind="src" path="src/"/>
 	<classpathentry kind="output" path="target/classes"/>

diff --git a/fragments/formalisms/snb/META-INF/MANIFEST.MF b/fragments/formalisms/snb/META-INF/MANIFEST.MF
@@ -5,4 +5,4 @@ Bundle-SymbolicName: fr.lip6.move.coloane.fragments.formalisms.snb;singleton:=tr
 Bundle-Version: 1.1.0.qualifier
 Bundle-Vendor: LIP6 / MoVe
 Fragment-Host: fr.lip6.move.coloane.core;bundle-version="0.16.2"
-Bundle-RequiredExecutionEnvironment: JavaSE-11
+Bundle-RequiredExecutionEnvironment: JavaSE-17
diff --git a/fragments/formalisms/swn/.classpath b/fragments/formalisms/swn/.classpath
@@ -1,6 +1,6 @@
 <?xml version="1.0" encoding="UTF-8"?>
 <classpath>
-	<classpathentry kind="con" path="org.eclipse.jdt.launching.JRE_CONTAINER/org.eclipse.jdt.internal.debug.ui.launcher.StandardVMType/JavaSE-11"/>
+	<classpathentry kind="con" path="org.eclipse.jdt.launching.JRE_CONTAINER/org.eclipse.jdt.internal.debug.ui.launcher.StandardVMType/JavaSE-17"/>
 	<classpathentry kind="con" path="org.eclipse.pde.core.requiredPlugins"/>
 	<classpathentry kind="src" path="src/"/>
 	<classpathentry kind="output" path="target/classes"/>

diff --git a/fragments/formalisms/swn/META-INF/MANIFEST.MF b/fragments/formalisms/swn/META-INF/MANIFEST.MF
@@ -4,5 +4,5 @@ Bundle-Name: SWN
 Bundle-SymbolicName: fr.lip6.move.coloane.fragments.formalisms.swn;singleton:=true
 Bundle-Version: 1.1.0.qualifier
 Fragment-Host: fr.lip6.move.coloane.core
-Bundle-RequiredExecutionEnvironment: JavaSE-11
+Bundle-RequiredExecutionEnvironment: JavaSE-17
 Bundle-Vendor: LIP6 / LSV
diff --git a/fragments/formalisms/wa/.classpath b/fragments/formalisms/wa/.classpath
@@ -1,6 +1,6 @@
 <?xml version="1.0" encoding="UTF-8"?>
 <classpath>
-	<classpathentry kind="con" path="org.eclipse.jdt.launching.JRE_CONTAINER/org.eclipse.jdt.internal.debug.ui.launcher.StandardVMType/JavaSE-11"/>
+	<classpathentry kind="con" path="org.eclipse.jdt.launching.JRE_CONTAINER/org.eclipse.jdt.internal.debug.ui.launcher.StandardVMType/JavaSE-17"/>
 	<classpathentry kind="con" path="org.eclipse.pde.core.requiredPlugins"/>
 	<classpathentry kind="src" path="src/"/>
 	<classpathentry kind="output" path="target/classes"/>

diff --git a/fragments/formalisms/wa/META-INF/MANIFEST.MF b/fragments/formalisms/wa/META-INF/MANIFEST.MF
@@ -4,4 +4,4 @@ Bundle-Name: Wa
 Bundle-SymbolicName: fr.lip6.move.coloane.fragments.formalisms.wa;singleton:=true
 Bundle-Version: 1.1.0.qualifier
 Fragment-Host: fr.lip6.move.coloane.core;bundle-version="1.1.0"
-Bundle-RequiredExecutionEnvironment: JavaSE-11
+Bundle-RequiredExecutionEnvironment: JavaSE-17
diff --git a/fragments/languagePack/.classpath b/fragments/languagePack/.classpath
@@ -1,6 +1,6 @@
 <?xml version="1.0" encoding="UTF-8"?>
 <classpath>
-	<classpathentry kind="con" path="org.eclipse.jdt.launching.JRE_CONTAINER/org.eclipse.jdt.internal.debug.ui.launcher.StandardVMType/JavaSE-11"/>
+	<classpathentry kind="con" path="org.eclipse.jdt.launching.JRE_CONTAINER/org.eclipse.jdt.internal.debug.ui.launcher.StandardVMType/JavaSE-17"/>
 	<classpathentry kind="con" path="org.eclipse.pde.core.requiredPlugins"/>
 	<classpathentry kind="src" path="src/"/>
 	<classpathentry kind="output" path="target/classes"/>

diff --git a/fragments/languagePack/META-INF/MANIFEST.MF b/fragments/languagePack/META-INF/MANIFEST.MF
@@ -5,4 +5,4 @@ Bundle-SymbolicName: fr.lip6.move.coloane.fragments.languagepack
 Bundle-Version: 1.1.0.qualifier
 Bundle-Vendor: LIP6 / MoVe
 Fragment-Host: fr.lip6.move.coloane.core
-Bundle-RequiredExecutionEnvironment: JavaSE-11
+Bundle-RequiredExecutionEnvironment: JavaSE-17
diff --git a/pom.xml b/pom.xml
@@ -6,7 +6,7 @@
 
 	<!-- Tycho requires Maven 3 -->
 	<prerequisites>
-		<maven>3.6.3</maven>
+		<maven>3.9.0</maven>
 	</prerequisites>
 
 	<groupId>fr.lip6.move.coloane</groupId>
@@ -44,12 +44,11 @@
 		<junit-version>4.8.1</junit-version>
 		<eclipse-site>http://download.eclipse.org/releases/${platform-version-name}</eclipse-site>
 		<!-- EDIT THIS ORBIT SITE FOR NEXT RELEASE : this is 2022-09 -->
-		<orbit-site>http://download.eclipse.org/tools/orbit/downloads/drops/R20220830213456/repository/</orbit-site>
-		<platform-version-name>2022-09</platform-version-name>
-		<tycho-version>2.7.5</tycho-version>
+		<platform-version-name>2023-12</platform-version-name>
+		<tycho-version>4.0.4</tycho-version>
 		<sonar.exclusions>**/Messages.java</sonar.exclusions>
-		<maven.compiler.source>11</maven.compiler.source>
-		<maven.compiler.target>11</maven.compiler.target>
+		<maven.compiler.source>17</maven.compiler.source>
+		<maven.compiler.target>17</maven.compiler.target>
 	</properties>
 
 	<pluginRepositories>
@@ -82,9 +81,9 @@
 			<url>http://download.eclipse.org/releases/${platform-version-name}</url>
 		</repository>
 			<repository>
-			<id>asm</id>
+			<id>Orbit</id>
 			<layout>p2</layout>
-			<url>${orbit-site}</url>
+			<url>https://download.eclipse.org/tools/orbit/simrel/orbit-aggregation/${platform-version-name}</url>		
 		</repository>
 	</repositories>
 
@@ -308,7 +307,7 @@
 				<configuration>
 					<resolver>p2</resolver>
 					<pomDependencies>consider</pomDependencies>
-					<executionEnvironment>JavaSE-11</executionEnvironment>
+					<executionEnvironment>JavaSE-17</executionEnvironment>
 					<!-- <target> <artifact> <groupId>org.eclipselabs.spray</groupId> <artifactId>org.eclipselabs.spray.targetplatform</artifactId> 
 						<version>0.4.0-SNAPSHOT</version> <classifier>spray</classifier> </artifact> 
 						</target> -->
@@ -373,34 +372,35 @@
 				<plugin>
 					<groupId>org.apache.maven.plugins</groupId>
 					<artifactId>maven-resources-plugin</artifactId>
-					<version>3.2.0</version>
+					<version>3.3.1</version>
 					<configuration>
 						<encoding>ISO-8859-1</encoding>
 					</configuration>
 				</plugin>
 				<plugin>
 					<groupId>org.apache.maven.plugins</groupId>
 					<artifactId>maven-antrun-plugin</artifactId>
-					<version>3.0.0</version>
+					<version>3.1.0</version>
 				</plugin>
 				<plugin>
 					<groupId>org.apache.maven.plugins</groupId>
 					<artifactId>maven-surefire-plugin</artifactId>
-					<version>3.0.0-M5</version>
+					<version>3.2.2</version>
 				</plugin>
 				<plugin>
 					<groupId>org.apache.maven.plugins</groupId>
 					<artifactId>maven-clean-plugin</artifactId>
-					<version>3.1.0</version>
+					<version>3.3.2</version>
 				</plugin>
 				<plugin>
-					<groupId>org.apache.maven.plugins</groupId>
+
 					<artifactId>maven-assembly-plugin</artifactId>
-					<version>3.3.0</version>
+					<version>3.6.0</version>
 				</plugin>
 				<plugin>
+					<groupId>org.apache.maven.plugins</groupId>
 					<artifactId>maven-release-plugin</artifactId>
-					<version>3.0.0-M4</version>
+					<version>3.0.1</version>
 					<configuration>
 						<preparationGoals>clean -DnewVersion=${releaseVersion}
 							-Dprudent=true
@@ -424,7 +424,7 @@
 			<plugin>
 				<groupId>org.apache.maven.plugins</groupId>
 				<artifactId>maven-checkstyle-plugin</artifactId>
-				<version>3.1.2</version>
+				<version>3.3.1</version>
 				<inherited>true</inherited>
 				<configuration>
 					<configLocation>https://coloane.lip6.fr/resources/coloane_checkstyle.xml</configLocation>