--- a/jdk/src/java.naming/share/classes/javax/naming/package.html	Tue May 19 11:40:00 2015 -0700
+++ b/jdk/src/java.naming/share/classes/javax/naming/package.html	Tue May 19 13:30:03 2015 -0700
@@ -32,7 +32,7 @@
 
 <p>
 This package defines the naming operations of the Java Naming and
-Directory Interface<font size=-2><sup>TM</sup></font> (JNDI). &nbsp;
+Directory Interface&trade; (JNDI). &nbsp;
 JNDI provides naming and directory functionality to applications
 written in the Java programming language.  It is designed to be
 independent of any specific naming or directory service