Changeset: 2b3b41fff837 Author: egahlin Date: 2020-04-27 15:01 +0200 URL: https://hg.openjdk.java.net/jdk/jdk/rev/2b3b41fff837 8242034: Remove JRE_HOME references Reviewed-by: mbaesken ! src/hotspot/share/jfr/dcmd/jfrDcmds.cpp ! src/java.base/share/man/java.1