jdk/src/share/classes/javax/management/monitor/Monitor.java
changeset 21656 d4c777ccb1db
parent 5506 202f599c92aa
child 23010 6dadb192ad81
--- a/jdk/src/share/classes/javax/management/monitor/Monitor.java	Tue Nov 12 09:44:39 2013 -0800
+++ b/jdk/src/share/classes/javax/management/monitor/Monitor.java	Tue Nov 12 14:03:28 2013 -0500
@@ -1609,7 +1609,7 @@
      * the thread instantiating this DaemonThreadFactory. Each new
      * thread is created as a daemon thread with priority
      * Thread.NORM_PRIORITY. New threads have names accessible via
-     * Thread.getName() of "JMX Monitor <pool-name> Pool [Thread-M]",
+     * Thread.getName() of "{@literal JMX Monitor <pool-name> Pool [Thread-M]}",
      * where M is the sequence number of the thread created by this
      * factory.
      */