--- 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 The Java™ Language Specification,
+ * without white spaces, as defined in The Java Language Specification,
* section 6.2 "Names and Identifiers".
*
* @return name of the Doclet