--- old/src/share/classes/javax/sql/DataSource.java	2013-06-27 12:45:10.000000000 -0400
+++ new/src/share/classes/javax/sql/DataSource.java	2013-06-27 12:45:10.000000000 -0400
@@ -36,7 +36,7 @@
  * is the preferred means of getting a connection. An object that implements
  * the {@code DataSource} interface will typically be
  * registered with a naming service based on the
- * Java<sup><font size=-2>TM</font></sup> Naming and Directory (JNDI) API.
+ * Java&trade; Naming and Directory (JNDI) API.
  * <P>
  * The {@code DataSource} interface is implemented by a driver vendor.
  * There are three types of implementations: