From f0ccefb039f69f1bb5335e4c0fb1498f88bd1a05 Mon Sep 17 00:00:00 2001 From: dc37 Date: Sat, 15 Oct 2016 01:56:34 -0500 Subject: [PATCH] Make sure that things still work for Java1.7 --- .classpath | 1 + .settings/org.eclipse.jdt.core.prefs | 6 +++--- 2 files changed, 4 insertions(+), 3 deletions(-) diff --git a/.classpath b/.classpath index 35526785..896ee1b7 100644 --- a/.classpath +++ b/.classpath @@ -5,5 +5,6 @@ + diff --git a/.settings/org.eclipse.jdt.core.prefs b/.settings/org.eclipse.jdt.core.prefs index a698e596..d17b6724 100644 --- a/.settings/org.eclipse.jdt.core.prefs +++ b/.settings/org.eclipse.jdt.core.prefs @@ -1,12 +1,12 @@ eclipse.preferences.version=1 org.eclipse.jdt.core.compiler.codegen.inlineJsrBytecode=enabled org.eclipse.jdt.core.compiler.codegen.methodParameters=do not generate -org.eclipse.jdt.core.compiler.codegen.targetPlatform=1.8 +org.eclipse.jdt.core.compiler.codegen.targetPlatform=1.7 org.eclipse.jdt.core.compiler.codegen.unusedLocal=preserve -org.eclipse.jdt.core.compiler.compliance=1.8 +org.eclipse.jdt.core.compiler.compliance=1.7 org.eclipse.jdt.core.compiler.debug.lineNumber=generate org.eclipse.jdt.core.compiler.debug.localVariable=generate org.eclipse.jdt.core.compiler.debug.sourceFile=generate org.eclipse.jdt.core.compiler.problem.assertIdentifier=error org.eclipse.jdt.core.compiler.problem.enumIdentifier=error -org.eclipse.jdt.core.compiler.source=1.8 +org.eclipse.jdt.core.compiler.source=1.7