mirror of
https://github.com/openjdk/jdk.git
synced 2026-05-03 10:20:57 +00:00
8255032: Conflict between recent pushes breaks the build
Reviewed-by: redestad, vromero
This commit is contained in:
parent
cb5cdd7705
commit
0f4fb367d5
@ -117,7 +117,7 @@ public class HtmlDoclet extends AbstractDoclet {
|
||||
}
|
||||
|
||||
@Override // defined by AbstractDoclet
|
||||
public void generateClassFiles(DocletEnvironment docEnv, ClassTree classTree) throws DocletException {
|
||||
public void generateClassFiles(ClassTree classTree) throws DocletException {
|
||||
|
||||
if (!(configuration.getOptions().noDeprecated()
|
||||
|| configuration.getOptions().noDeprecatedList())) {
|
||||
@ -128,7 +128,7 @@ public class HtmlDoclet extends AbstractDoclet {
|
||||
}
|
||||
}
|
||||
|
||||
super.generateClassFiles(docEnv, classTree);
|
||||
super.generateClassFiles(classTree);
|
||||
}
|
||||
|
||||
/**
|
||||
|
||||
Loading…
x
Reference in New Issue
Block a user