DocCheck (tidy) reports an unnecessary <p> in Instrumentation.java. The element should be removed.

build/linux-x86_64-server-release/images/docs/api/java.instrument/java/lang/instrument/Instrumentation.html:147:2: Warning: trimming empty <p>

This arises from the following source code:

 * 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.