diff -r 38f98cb6b335 -r 7740f9657f56 langtools/src/jdk.javadoc/share/classes/com/sun/tools/javadoc/RootDocImpl.java --- a/langtools/src/jdk.javadoc/share/classes/com/sun/tools/javadoc/RootDocImpl.java Wed Jul 05 20:28:21 2017 +0200 +++ b/langtools/src/jdk.javadoc/share/classes/com/sun/tools/javadoc/RootDocImpl.java Mon Apr 13 18:05:23 2015 -0700 @@ -377,8 +377,9 @@ return env.fileManager; } - public void initDocLint(Collection opts, Collection customTagNames) { - env.initDoclint(opts, customTagNames); + public void initDocLint(Collection opts, Collection customTagNames, + String htmlVersion) { + env.initDoclint(opts, customTagNames, htmlVersion); } public boolean isFunctionalInterface(AnnotationDesc annotationDesc) {