--- a/jdk/src/demo/share/jvmti/index.html	Tue May 19 11:40:00 2015 -0700
+++ b/jdk/src/demo/share/jvmti/index.html	Tue May 19 13:30:03 2015 -0700
@@ -5,7 +5,7 @@
 
 <p>
 The 
-Java<sup><font size=-2>TM</font></sup> Virtual Machine Tools Interface (JVM TI)
+Java&trade; Virtual Machine Tools Interface (JVM TI)
 is a native tool interface provided in JDK 5.0 and newer.
 Native libraries that use JVM TI and are loaded into the 
 Java Virtual Machine