165                          List<String> extraArgs,

   165                          List<String> extraArgs,

   166                          Worker<AnalyzeTask, Z> worker) {

   166                          Worker<AnalyzeTask, Z> worker) {

   167         WrapSourceHandler sh = new WrapSourceHandler();

   167         WrapSourceHandler sh = new WrapSourceHandler();

   168         List<String> allOptions = new ArrayList<>();

   168         List<String> allOptions = new ArrayList<>();

   169 

   169 

   171         allOptions.add("-Xlint:unchecked");

   171         allOptions.add("-Xlint:unchecked");

   172         allOptions.add("-proc:none");

   172         allOptions.add("-proc:none");

   173         allOptions.addAll(extraArgs);

   173         allOptions.addAll(extraArgs);

   174 

   174 

   175         return runTask(wraps.stream(),

   175         return runTask(wraps.stream(),