--- old/src/java.naming/share/classes/javax/naming/package.html	2015-05-19 12:02:47.759722286 -0700
+++ new/src/java.naming/share/classes/javax/naming/package.html	2015-05-19 12:02:47.495722298 -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