Re: RFR: XXS,doc JDK-8225207: redundant in Instrumentation.java

[serguei.spit...@oracle.com]

Hi Jon, Looks good. Thanks, Serguei On 6/3/19 15:45, Lance Andersen wrote: +1 -- Lance Andersen| Principal Member of Technical Staff | +1.781.442.2037 Oracle Java Engineering  1 Network Drive Burlington, MA 01803 lance.ander...@oracle.com Sent from my iPhone On Jun 3, 2019, at 6:33 PM, Jonathan Gibbons <jonathan.gibb...@oracle.com> wrote: 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.   *