--- old/src/jdk.javadoc/share/classes/jdk/javadoc/internal/doclets/toolkit/util/DeprecatedAPIListBuilder.java	2020-01-07 15:24:50.000000000 +0100
+++ new/src/jdk.javadoc/share/classes/jdk/javadoc/internal/doclets/toolkit/util/DeprecatedAPIListBuilder.java	2020-01-07 15:24:49.000000000 +0100
@@ -192,7 +192,7 @@
     /**
      * Return true if the list of a given type has size greater than 0.
      *
-     * @param type the type of list being checked.
+     * @param kind the type of list being checked.
      */
     public boolean hasDocumentation(DeprElementKind kind) {
         return !deprecatedMap.get(kind).isEmpty();