diff --git a/application/core/.classpath b/application/core/.classpath
index bc57d2383..5508535a4 100644
--- 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
index f7d44cdb0..231261ccc 100644
--- 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
index 153dcae81..33eeceed0 100644
--- 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
index bc57d2383..5508535a4 100644
--- 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
index 6d4a7d464..26735e031 100644
--- 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
index 153dcae81..33eeceed0 100644
--- 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
index 87b12b89a..5556798d8 100644
--- 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
index f42c63dda..96c8ba6b9 100644
--- 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
index bc57d2383..5508535a4 100644
--- 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
index 9f7e7b168..8defc8dfd 100644
--- 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
index bc57d2383..5508535a4 100644
--- 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
index 24d1db49e..8f3a42164 100644
--- 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
index b0a5f00a2..f36c2dc99 100644
--- 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
index 110490e49..4d719b69f 100644
--- 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
index bc57d2383..5508535a4 100644
--- 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
index 4916a2b6f..ccae35a2d 100644
--- 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
index 4fb19204b..938fdc966 100644
--- 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
index c07a4187a..9d24dd205 100644
--- 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
index bc57d2383..5508535a4 100644
--- 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
index b1df688e7..bb11829ae 100644
--- 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
index 1db08c6b4..8d8612144 100644
--- 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
index 0a452a2b2..8a002d68f 100644
--- 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
index bc57d2383..5508535a4 100644
--- 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
index ae7f1cd82..561c0d565 100644
--- 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
index bc57d2383..5508535a4 100644
--- 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
index d3dea5b9f..6feb168b2 100644
--- 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
index bc57d2383..5508535a4 100644
--- 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
index 0a0a324ae..7684070cd 100644
--- 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
index bc57d2383..5508535a4 100644
--- 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
index 83ffaf0f7..f05676757 100644
--- 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
index bc57d2383..5508535a4 100644
--- 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
index 51eeed2b8..0a41df54d 100644
--- 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
index bc57d2383..5508535a4 100644
--- 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
index 39f149d56..58ab32566 100644
--- 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
index bc57d2383..5508535a4 100644
--- 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
index 53bcd4a96..c97ef7dd5 100644
--- 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
index bc57d2383..5508535a4 100644
--- 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
index 61052ad89..d66b8f99f 100644
--- 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
index bc57d2383..5508535a4 100644
--- 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
index bcf5bf72d..a63ecdba2 100644
--- 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
index 91539ce57..aaee91b93 100644
--- 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,7 +372,7 @@
 				<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>
@@ -381,26 +380,27 @@
 				<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>
diff --git a/thirdparty/.classpath b/thirdparty/.classpath
index 7437e202a..f709df7a8 100644
--- a/thirdparty/.classpath
+++ b/thirdparty/.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 exported="true" kind="lib" path="lib/antlr-runtime.jar"/>
 	<classpathentry exported="true" kind="lib" path="lib/antlr.jar"/>
diff --git a/thirdparty/META-INF/MANIFEST.MF b/thirdparty/META-INF/MANIFEST.MF
index bb7503154..70da2f3f4 100644
--- a/thirdparty/META-INF/MANIFEST.MF
+++ b/thirdparty/META-INF/MANIFEST.MF
@@ -3,7 +3,7 @@ Bundle-ManifestVersion: 2
 Bundle-Name: Thirdparty
 Bundle-SymbolicName: fr.lip6.move.coloane.thirdparty;singleton:=true
 Bundle-Version: 1.1.0.qualifier
-Bundle-RequiredExecutionEnvironment: JavaSE-11
+Bundle-RequiredExecutionEnvironment: JavaSE-17
 Bundle-ActivationPolicy: lazy
 Bundle-ClassPath: lib/antlr-runtime.jar,
  lib/antlr.jar,
diff --git a/tools/layout/.classpath b/tools/layout/.classpath
index bc57d2383..5508535a4 100644
--- a/tools/layout/.classpath
+++ b/tools/layout/.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/tools/layout/META-INF/MANIFEST.MF b/tools/layout/META-INF/MANIFEST.MF
index da19ef928..6cb822998 100644
--- a/tools/layout/META-INF/MANIFEST.MF
+++ b/tools/layout/META-INF/MANIFEST.MF
@@ -8,6 +8,6 @@ Bundle-Vendor: LIP6 / MoVe, Abstratt Technologies, Apache.
 Require-Bundle: fr.lip6.move.coloane.core,
  fr.lip6.move.coloane.interfaces,
  org.eclipse.core.filesystem
-Bundle-RequiredExecutionEnvironment: JavaSE-11
+Bundle-RequiredExecutionEnvironment: JavaSE-17
 Bundle-ActivationPolicy: lazy
 Eclipse-LazyStart: true