From ad4c037e9b65fd68e974f1be6717e765dda055a0 Mon Sep 17 00:00:00 2001
From: Martina Rapp <rapp@fzi.de>
Date: Wed, 22 Feb 2023 13:38:26 +0100
Subject: [PATCH] migrated to Java17; updated classpath

---
 .../.classpath                                         |  2 +-
 .../.settings/org.eclipse.jdt.core.prefs               | 10 ++++++++++
 .../.classpath                                         |  2 +-
 .../.settings/org.eclipse.jdt.core.prefs               | 10 ++++++++++
 4 files changed, 22 insertions(+), 2 deletions(-)
 create mode 100644 bundles/tools.mdsd.modelingfoundations.identifier.edit/.settings/org.eclipse.jdt.core.prefs
 create mode 100644 bundles/tools.mdsd.modelingfoundations.identifier/.settings/org.eclipse.jdt.core.prefs

diff --git a/bundles/tools.mdsd.modelingfoundations.identifier.edit/.classpath b/bundles/tools.mdsd.modelingfoundations.identifier.edit/.classpath
index 004db3f..2377d85 100644
--- a/bundles/tools.mdsd.modelingfoundations.identifier.edit/.classpath
+++ b/bundles/tools.mdsd.modelingfoundations.identifier.edit/.classpath
@@ -1,7 +1,7 @@
 <?xml version="1.0" encoding="UTF-8"?>
 <classpath>
 	<classpathentry kind="src" path="src-gen"/>
-	<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="output" path="bin"/>
 </classpath>
diff --git a/bundles/tools.mdsd.modelingfoundations.identifier.edit/.settings/org.eclipse.jdt.core.prefs b/bundles/tools.mdsd.modelingfoundations.identifier.edit/.settings/org.eclipse.jdt.core.prefs
new file mode 100644
index 0000000..d4540a5
--- /dev/null
+++ b/bundles/tools.mdsd.modelingfoundations.identifier.edit/.settings/org.eclipse.jdt.core.prefs
@@ -0,0 +1,10 @@
+eclipse.preferences.version=1
+org.eclipse.jdt.core.compiler.codegen.inlineJsrBytecode=enabled
+org.eclipse.jdt.core.compiler.codegen.targetPlatform=17
+org.eclipse.jdt.core.compiler.compliance=17
+org.eclipse.jdt.core.compiler.problem.assertIdentifier=error
+org.eclipse.jdt.core.compiler.problem.enablePreviewFeatures=disabled
+org.eclipse.jdt.core.compiler.problem.enumIdentifier=error
+org.eclipse.jdt.core.compiler.problem.reportPreviewFeatures=warning
+org.eclipse.jdt.core.compiler.release=enabled
+org.eclipse.jdt.core.compiler.source=17
diff --git a/bundles/tools.mdsd.modelingfoundations.identifier/.classpath b/bundles/tools.mdsd.modelingfoundations.identifier/.classpath
index 099e24f..c3f9cf3 100644
--- a/bundles/tools.mdsd.modelingfoundations.identifier/.classpath
+++ b/bundles/tools.mdsd.modelingfoundations.identifier/.classpath
@@ -2,7 +2,7 @@
 <classpath>
 	<classpathentry kind="src" path="src-gen"/>
 	<classpathentry kind="src" path="src"/>
-	<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="output" path="bin"/>
 </classpath>
diff --git a/bundles/tools.mdsd.modelingfoundations.identifier/.settings/org.eclipse.jdt.core.prefs b/bundles/tools.mdsd.modelingfoundations.identifier/.settings/org.eclipse.jdt.core.prefs
new file mode 100644
index 0000000..d4540a5
--- /dev/null
+++ b/bundles/tools.mdsd.modelingfoundations.identifier/.settings/org.eclipse.jdt.core.prefs
@@ -0,0 +1,10 @@
+eclipse.preferences.version=1
+org.eclipse.jdt.core.compiler.codegen.inlineJsrBytecode=enabled
+org.eclipse.jdt.core.compiler.codegen.targetPlatform=17
+org.eclipse.jdt.core.compiler.compliance=17
+org.eclipse.jdt.core.compiler.problem.assertIdentifier=error
+org.eclipse.jdt.core.compiler.problem.enablePreviewFeatures=disabled
+org.eclipse.jdt.core.compiler.problem.enumIdentifier=error
+org.eclipse.jdt.core.compiler.problem.reportPreviewFeatures=warning
+org.eclipse.jdt.core.compiler.release=enabled
+org.eclipse.jdt.core.compiler.source=17