From 05e1be05e361615e2307476c620ab1e9aa7e100f Mon Sep 17 00:00:00 2001 From: Mathis Dirksen-Thedens Date: Sat, 20 Nov 2021 17:47:54 +0100 Subject: [PATCH] Eclipse settings --- .classpath | 2 +- .settings/org.eclipse.jdt.core.prefs | 6 +++--- 2 files changed, 4 insertions(+), 4 deletions(-) diff --git a/.classpath b/.classpath index 148118a..de7fdff 100644 --- a/.classpath +++ b/.classpath @@ -6,7 +6,7 @@ - + diff --git a/.settings/org.eclipse.jdt.core.prefs b/.settings/org.eclipse.jdt.core.prefs index ce3bfec..cb8ed12 100644 --- a/.settings/org.eclipse.jdt.core.prefs +++ b/.settings/org.eclipse.jdt.core.prefs @@ -1,11 +1,11 @@ eclipse.preferences.version=1 org.eclipse.jdt.core.compiler.codegen.inlineJsrBytecode=enabled -org.eclipse.jdt.core.compiler.codegen.targetPlatform=16 -org.eclipse.jdt.core.compiler.compliance=16 +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.forbiddenReference=warning org.eclipse.jdt.core.compiler.problem.reportPreviewFeatures=warning org.eclipse.jdt.core.compiler.release=disabled -org.eclipse.jdt.core.compiler.source=16 +org.eclipse.jdt.core.compiler.source=17