--- old/src/java.management/share/classes/javax/management/remote/package.html 2015-05-19 12:02:43.719722462 -0700 +++ new/src/java.management/share/classes/javax/management/remote/package.html 2015-05-19 12:02:43.435722475 -0700 @@ -1,6 +1,6 @@ - JMX<sup><font size="-2">TM</font></sup> Remote API. + JMX™ Remote API.