Changeset: e535cb3f Author: Serguei Spitsyn <sspitsyn at openjdk.org> Date: 2021-12-07 08:16:49 +0000 URL: https://git.openjdk.java.net/jdk/commit/e535cb3fbac11785cfdb43c9b6f73b2a38a621d6 8272395: Bad HTML in JVMTI man page Reviewed-by: dholmes, iris ! src/hotspot/share/prims/jvmti.xml