From fa18a203b13c814360741a0d3d0971dab1d65844 Mon Sep 17 00:00:00 2001 From: Simon Date: Mon, 4 May 2020 18:36:23 +0200 Subject: [PATCH] build: use Java 11 instead of Java 8 --- varo/.classpath | 2 +- varo/.settings/org.eclipse.jdt.core.prefs | 6 +++--- varo/pom.xml | 4 ++-- 3 files changed, 6 insertions(+), 6 deletions(-) diff --git a/varo/.classpath b/varo/.classpath index 9c4312a..6ab3eda 100644 --- a/varo/.classpath +++ b/varo/.classpath @@ -13,7 +13,7 @@ - + diff --git a/varo/.settings/org.eclipse.jdt.core.prefs b/varo/.settings/org.eclipse.jdt.core.prefs index 1b6e1ef..46235dc 100644 --- a/varo/.settings/org.eclipse.jdt.core.prefs +++ b/varo/.settings/org.eclipse.jdt.core.prefs @@ -1,9 +1,9 @@ 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.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.processAnnotations=disabled org.eclipse.jdt.core.compiler.release=disabled -org.eclipse.jdt.core.compiler.source=1.8 +org.eclipse.jdt.core.compiler.source=11 diff --git a/varo/pom.xml b/varo/pom.xml index 0f3b947..c58415d 100644 --- a/varo/pom.xml +++ b/varo/pom.xml @@ -14,8 +14,8 @@ jar UTF-8 - 1.8 - 1.8 + 11 + 11