diff options
| author | aclement <aclement> | 2011-08-12 23:17:39 +0000 |
|---|---|---|
| committer | aclement <aclement> | 2011-08-12 23:17:39 +0000 |
| commit | 9cf7c54c19d30a897d0888685adb4a03bc177222 (patch) | |
| tree | 5abbc12ba7078cbd3e6d0103b8921fa01dd2b42f /ajde.core/src | |
| parent | f5b6bc47127e5e656b65e22b49d61a9f755b2b98 (diff) | |
| download | aspectj-9cf7c54c19d30a897d0888685adb4a03bc177222.tar.gz aspectj-9cf7c54c19d30a897d0888685adb4a03bc177222.zip | |
353900: Java7
Diffstat (limited to 'ajde.core/src')
| -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); |