--- a/jdk/src/java.naming/share/classes/javax/naming/spi/package.html Tue May 19 11:40:00 2015 -0700
+++ b/jdk/src/java.naming/share/classes/javax/naming/spi/package.html Tue May 19 13:30:03 2015 -0700
@@ -34,7 +34,7 @@
<p>
This package defines the service provider interface (SPI) of the Java Naming
-and Directory Interface<font size=-2><sup>TM</sup></font> (JNDI).
+and Directory Interface™ (JNDI).
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