diff options
| -rw-r--r-- | ajde.core/src/org/aspectj/ajde/core/internal/AjdeCoreBuildManager.java | 4 |
1 files changed, 3 insertions, 1 deletions
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); |