375 */ |
375 */ |
376 public JavaFileManager getFileManager() { |
376 public JavaFileManager getFileManager() { |
377 return env.fileManager; |
377 return env.fileManager; |
378 } |
378 } |
379 |
379 |
380 public void initDocLint(Collection<String> opts) { |
380 public void initDocLint(Collection<String> opts, Collection<String> customTagNames) { |
381 env.initDoclint(opts); |
381 env.initDoclint(opts, customTagNames); |
382 } |
382 } |
383 |
383 |
384 public boolean showTagMessages() { |
384 public boolean showTagMessages() { |
385 return env.showTagMessages(); |
385 return env.showTagMessages(); |
386 } |
386 } |