From d9dcc94aa16a1609e47f8369dfe21a8d260887a9 Mon Sep 17 00:00:00 2001
From: bjculkin <bjculkin@localhost>
Date: Wed, 25 Oct 2023 22:58:48 +0000
Subject: Tweak for new setup

---
 base/.settings/org.eclipse.jdt.core.prefs | 7 ++++---
 1 file changed, 4 insertions(+), 3 deletions(-)

(limited to 'base/.settings')

diff --git a/base/.settings/org.eclipse.jdt.core.prefs b/base/.settings/org.eclipse.jdt.core.prefs
index aeacc3c..2af1e7b 100644
--- a/base/.settings/org.eclipse.jdt.core.prefs
+++ b/base/.settings/org.eclipse.jdt.core.prefs
@@ -1,7 +1,8 @@
 eclipse.preferences.version=1
-org.eclipse.jdt.core.compiler.codegen.targetPlatform=17
-org.eclipse.jdt.core.compiler.compliance=17
+org.eclipse.jdt.core.compiler.codegen.targetPlatform=11
+org.eclipse.jdt.core.compiler.compliance=11
 org.eclipse.jdt.core.compiler.problem.enablePreviewFeatures=disabled
+org.eclipse.jdt.core.compiler.problem.forbiddenReference=warning
 org.eclipse.jdt.core.compiler.problem.reportPreviewFeatures=ignore
 org.eclipse.jdt.core.compiler.release=disabled
-org.eclipse.jdt.core.compiler.source=17
+org.eclipse.jdt.core.compiler.source=11
-- 
cgit v1.2.3