--- old/src/jdk.javadoc/share/classes/jdk/javadoc/internal/doclets/toolkit/builders/AbstractBuilder.java	2020-01-17 17:35:04.682082785 -0800
+++ new/src/jdk.javadoc/share/classes/jdk/javadoc/internal/doclets/toolkit/builders/AbstractBuilder.java	2020-01-17 17:35:04.362068752 -0800
@@ -30,6 +30,7 @@
 import javax.lang.model.element.PackageElement;
 
 import jdk.javadoc.internal.doclets.toolkit.BaseConfiguration;
+import jdk.javadoc.internal.doclets.toolkit.BaseOptions;
 import jdk.javadoc.internal.doclets.toolkit.DocletException;
 import jdk.javadoc.internal.doclets.toolkit.Messages;
 import jdk.javadoc.internal.doclets.toolkit.Resources;
@@ -76,6 +77,7 @@
      * The configuration used in this run of the doclet.
      */
     protected final BaseConfiguration configuration;
+    protected final BaseOptions options;
 
     protected final BuilderFactory builderFactory;
     protected final Messages messages;
@@ -95,6 +97,7 @@
      */
     public AbstractBuilder(Context c) {
         this.configuration = c.configuration;
+        this.options = configuration.getOptions();
         this.builderFactory = configuration.getBuilderFactory();
         this.messages = configuration.getMessages();
         this.resources = configuration.getResources();