From d871d38e941c46a8d357849d10134ff9ac36266d Mon Sep 17 00:00:00 2001 From: user1 Date: Mon, 30 Nov 2020 15:56:09 +0100 Subject: [PATCH] commit for release --- .classpath | 3 ++- .settings/org.eclipse.jdt.core.prefs | 6 ++++++ 2 files changed, 8 insertions(+), 1 deletion(-) diff --git a/.classpath b/.classpath index b008e62..0495e82 100644 --- a/.classpath +++ b/.classpath @@ -15,6 +15,7 @@ + @@ -22,7 +23,7 @@ - + diff --git a/.settings/org.eclipse.jdt.core.prefs b/.settings/org.eclipse.jdt.core.prefs index fd9afef..cb635b1 100644 --- a/.settings/org.eclipse.jdt.core.prefs +++ b/.settings/org.eclipse.jdt.core.prefs @@ -1,2 +1,8 @@ eclipse.preferences.version=1 +org.eclipse.jdt.core.compiler.codegen.targetPlatform=1.8 +org.eclipse.jdt.core.compiler.compliance=1.8 +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=1.8