From f5306ef8c101b8913d855c4086e3f4a64103aff6 Mon Sep 17 00:00:00 2001
From: Adrien Grand <jpountz@gmail.com>
Date: Thu, 27 Feb 2014 22:29:51 +0100
Subject: [PATCH] Update Eclipse configuration to Java 1.7.

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

diff --git a/.settings/org.eclipse.jdt.core.prefs b/.settings/org.eclipse.jdt.core.prefs
index a35498a9916..97d38d70c67 100644
--- a/.settings/org.eclipse.jdt.core.prefs
+++ b/.settings/org.eclipse.jdt.core.prefs
@@ -1,8 +1,8 @@
 eclipse.preferences.version=1
-# We target Java 1.6
-org.eclipse.jdt.core.compiler.codegen.targetPlatform=1.6
-org.eclipse.jdt.core.compiler.compliance=1.6
-org.eclipse.jdt.core.compiler.source=1.6
+# We target Java 1.7
+org.eclipse.jdt.core.compiler.codegen.targetPlatform=1.7
+org.eclipse.jdt.core.compiler.compliance=1.7
+org.eclipse.jdt.core.compiler.source=1.7
 # Lines should be splitted at 140 chars
 org.eclipse.jdt.core.formatter.lineSplit=140
 # Indentation is 4 spaces