RFR: XXS,doc JDK-8225207: redundant <p> in Instrumentation.java

Lance Andersen Lance.Andersen at oracle.com
Mon Jun 3 22:45:19 UTC 2019


+1

--

Lance Andersen| Principal Member of Technical Staff | +1.781.442.2037
Oracle Java Engineering 
1 Network Drive
Burlington, MA 01803
Lance.Andersen at oracle.com

Sent from my iPhone

> On Jun 3, 2019, at 6:33 PM, Jonathan Gibbons <jonathan.gibbons at 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.
>   *
> 
> 


More information about the core-libs-dev mailing list