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