RFR: XXS,doc JDK-8225207: redundant <p> in Instrumentation.java
    Jonathan Gibbons 
    jonathan.gibbons at oracle.com
       
    Mon Jun  3 22:33:59 UTC 2019
    
    
  
Please review a tiny delete-one-line change to fix the last HTML error 
in the java.instrument module.
Note to all: <p> should only be used at the *beginning* of a paragraph. 
It is not a terminator or separator.
In the context of a javadoc comment, it should not be used before the 
set of block tags at the end of the comment.
No webrev; patch is below.
-- Jon
JBS: https://bugs.openjdk.java.net/browse/JDK-8225207
$ hg diff -R open
diff -r 1cccaaf46c7b 
src/java.instrument/share/classes/java/lang/instrument/Instrumentation.java
--- 
a/src/java.instrument/share/classes/java/lang/instrument/Instrumentation.java 
Mon Jun 03 10:52:18 2019 -0700
+++ 
b/src/java.instrument/share/classes/java/lang/instrument/Instrumentation.java 
Mon Jun 03 15:27:43 2019 -0700
@@ -65,7 +65,7 @@
   * <p>
   * Once an agent acquires an <code>Instrumentation</code> instance,
   * the agent may call methods on the instance at any time.
- * <p>
+ *
   * @apiNote This interface is not intended to be implemented outside of
   * the java.instrument module.
   *
    
    
More information about the serviceability-dev
mailing list