From 9cf7c54c19d30a897d0888685adb4a03bc177222 Mon Sep 17 00:00:00 2001
From: aclement <aclement>
Date: Fri, 12 Aug 2011 23:17:39 +0000
Subject: [PATCH] 353900: Java7

---
 .../org/aspectj/ajde/core/internal/AjdeCoreBuildManager.java  | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

diff --git a/ajde.core/src/org/aspectj/ajde/core/internal/AjdeCoreBuildManager.java b/ajde.core/src/org/aspectj/ajde/core/internal/AjdeCoreBuildManager.java
index 72887ba19..94612b979 100644
--- a/ajde.core/src/org/aspectj/ajde/core/internal/AjdeCoreBuildManager.java
+++ b/ajde.core/src/org/aspectj/ajde/core/internal/AjdeCoreBuildManager.java
@@ -301,7 +301,9 @@ public class AjdeCoreBuildManager {
 		Map jom = compilerConfig.getJavaOptionsMap();
 		if (jom != null) {
 			String version = (String) jom.get(CompilerOptions.OPTION_Compliance);
-			if (version != null && (version.equals(CompilerOptions.VERSION_1_5) || version.equals(CompilerOptions.VERSION_1_6))) {
+			if (version != null
+					&& (version.equals(CompilerOptions.VERSION_1_5) || version.equals(CompilerOptions.VERSION_1_6) || version
+							.equals(CompilerOptions.VERSION_1_7))) {
 				config.setBehaveInJava5Way(true);
 			}
 			config.getOptions().set(jom);
-- 
2.39.5