equal
deleted
inserted
replaced
808 return; |
808 return; |
809 } |
809 } |
810 |
810 |
811 JavacTask t = BasicJavacTask.instance(context); |
811 JavacTask t = BasicJavacTask.instance(context); |
812 doclint = new DocLint(); |
812 doclint = new DocLint(); |
|
813 // standard doclet normally generates H1, H2 |
|
814 doclintOpts.add(DocLint.XIMPLICIT_HEADERS + "2"); |
813 doclint.init(t, doclintOpts.toArray(new String[doclintOpts.size()]), false); |
815 doclint.init(t, doclintOpts.toArray(new String[doclintOpts.size()]), false); |
814 } |
816 } |
815 |
817 |
816 boolean showTagMessages() { |
818 boolean showTagMessages() { |
817 return (doclint == null); |
819 return (doclint == null); |