src/jdk.javadoc/share/classes/jdk/javadoc/internal/doclets/formats/html/AbstractOverviewIndexWriter.java

@@ -139,11 +139,11 @@
                 .setHeader(header)
                 .addMainContent(main)
                 .setFooter(footer)
                 .toContent());
         printHtmlDocument(
-                configuration.metakeywords.getOverviewMetaKeywords(title, configuration.doctitle),
+                configuration.metakeywords.getOverviewMetaKeywords(title, configuration.getOptions().docTitle),
                 description, body);
     }
 
     /**
      * Adds the index to the documentation tree.

@@ -156,12 +156,13 @@
      * Adds the doctitle to the documentation tree, if it is specified on the command line.
      *
      * @param body the document tree to which the title will be added
      */
     protected void addConfigurationTitle(Content body) {
-        if (configuration.doctitle.length() > 0) {
-            Content title = new RawHtml(configuration.doctitle);
+        String doctitle = configuration.getOptions().docTitle;
+        if (doctitle.length() > 0) {
+            Content title = new RawHtml(doctitle);
             Content heading = HtmlTree.HEADING(Headings.PAGE_TITLE_HEADING,
                     HtmlStyle.title, title);
             Content div = HtmlTree.DIV(HtmlStyle.header, heading);
             body.add(div);
         }