--- 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.