src/jdk.javadoc/share/classes/jdk/javadoc/internal/doclets/toolkit/util/DeprecatedAPIListBuilder.java

*** 190,200 ****
      }
  
      /**
       * Return true if the list of a given type has size greater than 0.
       *
!      * @param type the type of list being checked.
       */
      public boolean hasDocumentation(DeprElementKind kind) {
          return !deprecatedMap.get(kind).isEmpty();
      }
  }
--- 190,200 ----
      }
  
      /**
       * Return true if the list of a given type has size greater than 0.
       *
!      * @param kind the type of list being checked.
       */
      public boolean hasDocumentation(DeprElementKind kind) {
          return !deprecatedMap.get(kind).isEmpty();
      }
  }