--- old/src/jdk.javadoc/share/classes/jdk/javadoc/doclet/Doclet.java	2020-07-10 15:59:55.741156712 -0700
+++ new/src/jdk.javadoc/share/classes/jdk/javadoc/doclet/Doclet.java	2020-07-10 15:59:55.341166608 -0700
@@ -71,7 +71,7 @@
 
     /**
      * Returns a name identifying the doclet. A name is a simple identifier
-     * without white spaces, as defined in <cite>The Java&trade; Language Specification</cite>,
+     * without white spaces, as defined in <cite>The Java Language Specification</cite>,
      * section 6.2 "Names and Identifiers".
      *
      * @return name of the Doclet