353900: Java7

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 72887ba19bf0dbd72761b11ad95bf3a83f6348eb..94612b979dd79d887142a5f96fcd308367cfd3eb 100644 (file)
--- 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);