--- old/src/java.base/share/classes/java/io/PrintStream.java 2020-07-10 15:54:14.909800287 -0700
+++ new/src/java.base/share/classes/java/io/PrintStream.java 2020-07-10 15:54:14.533810110 -0700
@@ -1080,7 +1080,7 @@
* extra arguments are ignored. The number of arguments is
* variable and may be zero. The maximum number of arguments is
* limited by the maximum dimension of a Java array as defined by
- * The Java™ Virtual Machine Specification.
+ * The Java Virtual Machine Specification.
* The behaviour on a
* {@code null} argument depends on the conversion.
@@ -1132,7 +1132,7 @@
* extra arguments are ignored. The number of arguments is
* variable and may be zero. The maximum number of arguments is
* limited by the maximum dimension of a Java array as defined by
- * The Java™ Virtual Machine Specification.
+ * The Java Virtual Machine Specification.
* The behaviour on a
* {@code null} argument depends on the conversion.
@@ -1177,7 +1177,7 @@
* extra arguments are ignored. The number of arguments is
* variable and may be zero. The maximum number of arguments is
* limited by the maximum dimension of a Java array as defined by
- * The Java™ Virtual Machine Specification.
+ * The Java Virtual Machine Specification.
* The behaviour on a
* {@code null} argument depends on the conversion.
@@ -1236,7 +1236,7 @@
* extra arguments are ignored. The number of arguments is
* variable and may be zero. The maximum number of arguments is
* limited by the maximum dimension of a Java array as defined by
- * The Java™ Virtual Machine Specification.
+ * The Java Virtual Machine Specification.
* The behaviour on a
* {@code null} argument depends on the conversion.