< prev index next >

src/jdk.jdi/share/classes/jdi-overview.html

Print this page 

        
@@ -1,13 +1,12 @@
 <!DOCTYPE HTML PUBLIC "-//IETF//DTD HTML//EN">
 <html>
   <head>
-    <title>Java(tm) Debug Interface</title>
+    <title>Java&trade; Debug Interface</title>
   </head>
   <body>
-        The Java<sup><font size="-2">TM</font></sup>
- Debug Interface (JDI) is a high level Java
+        The Java&trade; Debug Interface (JDI) is a high level Java
 API providing information useful for debuggers and similar
 systems needing access to the running state of a (usually remote)
 virtual machine.
 <p>
         The JDI provides introspective



< prev index next >