diff options
Diffstat (limited to 'ajde.core')
| -rw-r--r-- | ajde.core/src/main/java/org/aspectj/ajde/core/internal/AjdeCoreBuildManager.java | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/ajde.core/src/main/java/org/aspectj/ajde/core/internal/AjdeCoreBuildManager.java b/ajde.core/src/main/java/org/aspectj/ajde/core/internal/AjdeCoreBuildManager.java index 47f402cd4..ad7297fab 100644 --- a/ajde.core/src/main/java/org/aspectj/ajde/core/internal/AjdeCoreBuildManager.java +++ b/ajde.core/src/main/java/org/aspectj/ajde/core/internal/AjdeCoreBuildManager.java @@ -167,7 +167,7 @@ public class AjdeCoreBuildManager { + compilerConfig.getNonStandardOptions() + "\n-> javaoptions:" + formatMap(compilerConfig.getJavaOptionsMap()); } - private String formatCollection(Collection<?> options) { + private String formatCollection(Collection<File> options) { if (options == null) { return "<default>"; } @@ -176,7 +176,7 @@ public class AjdeCoreBuildManager { } StringBuilder formattedOptions = new StringBuilder(); - for (Object option : options) { + for (File option : options) { String o = option.toString(); if (formattedOptions.length() > 0) { formattedOptions.append(", "); |