equal
deleted
inserted
replaced
185 if (context.get(TaskListener.class) != null) |
185 if (context.get(TaskListener.class) != null) |
186 context.put(TaskListener.class, (TaskListener)null); |
186 context.put(TaskListener.class, (TaskListener)null); |
187 if (taskListener != null) |
187 if (taskListener != null) |
188 context.put(TaskListener.class, wrap(taskListener)); |
188 context.put(TaskListener.class, wrap(taskListener)); |
189 //initialize compiler's default locale |
189 //initialize compiler's default locale |
190 JavacMessages.instance(context).setCurrentLocale(locale); |
190 context.put(Locale.class, locale); |
191 } |
191 } |
192 // where |
192 // where |
193 private TaskListener wrap(final TaskListener tl) { |
193 private TaskListener wrap(final TaskListener tl) { |
194 tl.getClass(); // null check |
194 tl.getClass(); // null check |
195 return new TaskListener() { |
195 return new TaskListener() { |