From 0a853104a56c671149c1573a3b09dfe294e42baf Mon Sep 17 00:00:00 2001 From: NathanSweet Date: Fri, 24 Aug 2018 17:49:12 +0200 Subject: [PATCH] Use Java 7 JDK. --- .classpath | 2 +- .settings/org.eclipse.jdt.core.prefs | 7 +++++++ 2 files changed, 8 insertions(+), 1 deletion(-) create mode 100644 .settings/org.eclipse.jdt.core.prefs diff --git a/.classpath b/.classpath index b33b264..aa7f96d 100644 --- a/.classpath +++ b/.classpath @@ -2,7 +2,7 @@ - + diff --git a/.settings/org.eclipse.jdt.core.prefs b/.settings/org.eclipse.jdt.core.prefs new file mode 100644 index 0000000..f42de36 --- /dev/null +++ b/.settings/org.eclipse.jdt.core.prefs @@ -0,0 +1,7 @@ +eclipse.preferences.version=1 +org.eclipse.jdt.core.compiler.codegen.inlineJsrBytecode=enabled +org.eclipse.jdt.core.compiler.codegen.targetPlatform=1.7 +org.eclipse.jdt.core.compiler.compliance=1.7 +org.eclipse.jdt.core.compiler.problem.assertIdentifier=error +org.eclipse.jdt.core.compiler.problem.enumIdentifier=error +org.eclipse.jdt.core.compiler.source=1.7