--- old/src/java.compiler/share/classes/javax/tools/ToolProvider.java 2020-07-10 15:55:33.535746087 -0700 +++ new/src/java.compiler/share/classes/javax/tools/ToolProvider.java 2020-07-10 15:55:33.059758523 -0700 @@ -51,7 +51,7 @@ public ToolProvider() {} /** - * Returns the Java™ programming language compiler provided + * Returns the Java programming language compiler provided * with this platform. *

The file manager returned by calling * {@link JavaCompiler#getStandardFileManager getStandardFileManager} @@ -72,7 +72,7 @@ private static final String systemDocumentationToolName = "jdk.javadoc.internal.api.JavadocTool"; /** - * Returns the Java™ programming language documentation tool provided + * Returns the Java programming language documentation tool provided * with this platform. *

The file manager returned by calling * {@link DocumentationTool#getStandardFileManager getStandardFileManager}