171     }
 172 
 173     @Override
 174     public boolean finishOptionSettings() {
 175         if (!options.validateOptions()) {
 176             return false;
 177         }
 178         if (!getSpecifiedTypeElements().isEmpty()) {
 179             Map<String, PackageElement> map = new HashMap<>();
 180             PackageElement pkg;
 181             for (TypeElement aClass : getIncludedTypeElements()) {
 182                 pkg = utils.containingPackage(aClass);
 183                 if (!map.containsKey(utils.getPackageName(pkg))) {
 184                     map.put(utils.getPackageName(pkg), pkg);
 185                 }
 186             }
 187         }
 188         docPaths = new DocPaths(utils);
 189         setCreateOverview();
 190         setTopFile(docEnv);
 191         workArounds.initDocLint(options.doclintOpts().values(), tagletManager.getAllTagletNames());
 192         return true;
 193     }
 194 
 195     /**
 196      * Decide the page which will appear first in the right-hand frame. It will
 197      * be "overview-summary.html" if "-overview" option is used or no
 198      * "-overview" but the number of packages is more than one. It will be
 199      * "package-summary.html" of the respective package if there is only one
 200      * package to document. It will be a class page(first in the sorted order),
 201      * if only classes are provided on the command line.
 202      *
 203      * @param docEnv the doclet environment
 204      */
 205     protected void setTopFile(DocletEnvironment docEnv) {
 206         if (!checkForDeprecation(docEnv)) {
 207             return;
 208         }
 209         if (options.createOverview()) {
 210             topFile = DocPaths.INDEX;
 211         } else {

 171     }
 172 
 173     @Override
 174     public boolean finishOptionSettings() {
 175         if (!options.validateOptions()) {
 176             return false;
 177         }
 178         if (!getSpecifiedTypeElements().isEmpty()) {
 179             Map<String, PackageElement> map = new HashMap<>();
 180             PackageElement pkg;
 181             for (TypeElement aClass : getIncludedTypeElements()) {
 182                 pkg = utils.containingPackage(aClass);
 183                 if (!map.containsKey(utils.getPackageName(pkg))) {
 184                     map.put(utils.getPackageName(pkg), pkg);
 185                 }
 186             }
 187         }
 188         docPaths = new DocPaths(utils);
 189         setCreateOverview();
 190         setTopFile(docEnv);
 191         workArounds.initDocLint(options.doclintOpts(), tagletManager.getAllTagletNames());
 192         return true;
 193     }
 194 
 195     /**
 196      * Decide the page which will appear first in the right-hand frame. It will
 197      * be "overview-summary.html" if "-overview" option is used or no
 198      * "-overview" but the number of packages is more than one. It will be
 199      * "package-summary.html" of the respective package if there is only one
 200      * package to document. It will be a class page(first in the sorted order),
 201      * if only classes are provided on the command line.
 202      *
 203      * @param docEnv the doclet environment
 204      */
 205     protected void setTopFile(DocletEnvironment docEnv) {
 206         if (!checkForDeprecation(docEnv)) {
 207             return;
 208         }
 209         if (options.createOverview()) {
 210             topFile = DocPaths.INDEX;
 211         } else {