jdk/src/java.naming/share/classes/javax/naming/directory/package.html
changeset 30678 a8b7fd8ede97
parent 25859 3317bb8137f4
child 32029 a5538163e144
--- 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). &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