From 7a693c2592a66d10dbba9c312856d4178889983c Mon Sep 17 00:00:00 2001
From: Vitaly Takmazov
Date: Tue, 20 Oct 2020 00:15:29 +0300
Subject: Clean up some JDT warnings

---
 .settings/org.eclipse.jdt.core.prefs | 5 ++++-
 1 file changed, 4 insertions(+), 1 deletion(-)

(limited to '.settings')

diff --git a/.settings/org.eclipse.jdt.core.prefs b/.settings/org.eclipse.jdt.core.prefs
index 46e466ca..90d39e92 100644
--- a/.settings/org.eclipse.jdt.core.prefs
+++ b/.settings/org.eclipse.jdt.core.prefs
@@ -1,4 +1,7 @@
 eclipse.preferences.version=1
-org.eclipse.jdt.core.compiler.problem.missingSerialVersion=ignore
+org.eclipse.jdt.core.compiler.codegen.targetPlatform=15
+org.eclipse.jdt.core.compiler.compliance=15
 org.eclipse.jdt.core.compiler.problem.deprecation=ignore
+org.eclipse.jdt.core.compiler.problem.missingSerialVersion=ignore
 org.eclipse.jdt.core.compiler.problem.unusedLocal=ignore
+org.eclipse.jdt.core.compiler.source=15
-- 
cgit v1.2.3